package lutin
-
lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lutin
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Lucky variables.
Abstract type encoding lucky variables and containing all informations attached to them.
This variable type is parametrised by the type of expression variables refer to.
Name, mode, and type of a variable.
Substitutions.
Building Variables.
Makes a var with the mandatory fields, i.e., its name, type, and mode.
Makes a pre var of a var.
nb : "make_pre v" will be different from "make_pre v" (in the sense of ocaml compare) although they will have the same value in the end. It migth be useful to tabulate them in the caller.
Sets the non-mandatory fields of a variable.
Variable information retrieval.
Respectively retrieves the name, type, mode, min, max, alias, and init values of a variable. Non mandatory fields (of course) return an option type.
val min : 'a t -> 'a optionval max : 'a t -> 'a optionval alias : 'a t -> 'a optionval init : 'a t -> 'a optionRepresenting the input, output, and local variables vectors.
We use an hash table to represent it as we will need to retrieve input values very often when evaluating formulas (and also weights). -> Replaced by a map
For those types we use lists because the only operation we will need to perform over them is to add elements.
val index : 'a t -> int