Module ast

Source

Modules§

pretty
Functions for pretty printing Conjure models.
serde
Serde serialization/ deserialization helpers.

Structs§

DecisionVariable
Represents a decision variable within a computational model.
Declaration
Model
An Essence model.
SerdeModel
A model that is de/serializable using serde.
SubModel
A sub-model, representing a lexical scope in the model.
SymbolTable
The global symbol table, mapping names to their definitions.

Enums§

AbstractLiteral
Atom
An Atom is an indivisible expression, such as a literal or a reference.
DeclarationKind
A specific kind of declaration.
Domain
Expression
Represents different types of expressions used to define rules and constraints in the model.
Literal
A literal value, equivalent to constants in Conjure.
Name
A reference to an object stored in the [SymbolTable].
Range
ReturnType
SetAttr

Traits§

Typeable
Something with a return type