Module ast
Source - pretty
- Functions for pretty printing Conjure models.
- serde
- Serde serialization/ deserialization helpers.
- 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.
- 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
- Typeable
- Something with a return type