Module ast

Types used for representing Minion models in Rust.

Structs

Model

A Minion model.

SymbolTable

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

Tuple

TwoVars

VarName