package mec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Hades_linear_optimisation.Make`Source

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

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