Expand description
Types used for representing Minion models in Rust.
Structs§
- Model
- A Minion model.
- Optimise
- Single-objective optimisation directive carried on
Model::optimise. - Symbol
Table - Stores all named variables in a Minion model alongside their domains.
Enums§
- Constant
- Representation of a Minion constant.
- Constraint
- All supported Minion constraints.
- Var
- Representation of a Minion Variable.
- VarDomain
- Representation of variable domains.
Type Aliases§
- Short
Tuple - A short tuple — used by short-tuple constraints (
shortstr2,haggisgac,haggisgac-stable,shortctuplestr2). Each entry is a(variable_index, value)literal; the position refers to the constraint’s variable list. Forshortstr2/haggisgac/haggisgac-stablethe indexes within one short tuple must be distinct (the propagators reject duplicates).shortctuplestr2allows multiple entries for the same index (OR semantics within that short tuple). - Tuple
- A tuple of constants, used in extensional (table) constraints.
- TwoVars
- A pair of variables, used by three-operand arithmetic constraints.
- VarName
- The name of a variable in a Minion model.