Module `Hades_linear_optimisation.Make`Source

Build an HADES SP network based on the parameters and a scalar field

Parameters

module Param : PARAMETERS

module Scalar : Ff_sig.PRIME

Sourcetype state

The state of the permutation

Sourceval init : Scalar.t array -> state

Initialize the state with the given input

Sourceval apply : state -> unit

Apply a complete permutation

Sourceval get : state -> Scalar.t array

Return the current scalar elements in the state