Module Make.StrategySource

Sourcetype scalar = Scalar.t
Sourcetype state

The state of the strategy

Sourceval init : ?input_length:int -> scalar array -> state

Initialize the state with the given input

Sourceval apply_perm : state -> unit

Apply a permutation round

Sourceval get : state -> scalar array

Return the current scalar elements in the state

Sourceval input_length : state -> int option

Return the expected input length if specified