Skip to main contentModule ast
Source pub use declaration::DeclarationKind;pub use declaration::DeclarationPtr;pub use eval::eval_constant;pub use records::Field;
- abstract_comprehension
- ac_operators
- assertions
- Debug-only structural assertions for AST/model integrity.
- categories
- comprehension
- declaration
- eval
- matrix
- Utility functions for working with matrices.
- pretty
- Functions for pretty printing Conjure models.
- records
- serde
- Serde serialization/ deserialization helpers.
- CnfClause
- DecisionVariable
- Represents a decision variable within a computational model.
- ExprInfo
- A struct for the information about expressions
- FuncAttr
- MSetAttr
- Metadata
- Model
- An Essence model.
- Moo
- A clone-on-write, reference counted pointer to an AST type.
- PartitionAttr
- Reference
- A reference to a declaration (variable, parameter, etc.)
- RelAttr
- SequenceAttr
- SerdeModel
- A model that is de/serializable using
serde. - SetAttr
- SymbolTable
- The global symbol table, mapping names to their definitions.
- SymbolTablePtr
- AbstractLiteral
- Atom
- An
Atom is an indivisible expression, such as a literal or a reference. - BinaryAttr
- Domain
- DomainOpError
- An error thrown by an operation on domains.
- Expression
- Represents different types of expressions used to define rules and constraints in the model.
- GroundDomain
- IntVal
- A variable or expression appearing inside an int range of an unresolved domain;
E.g
int(1..x), int(2, 4..(2*y)), set (minSize x) of int(1..5), etc - JectivityAttr
- Literal
- A literal value, equivalent to constants in Conjure.
- Name
- A reference to an object stored in the [
SymbolTable]. - PartialityAttr
- Range
- ReturnType
- SATIntEncoding
- UnresolvedDomain
- HasDomain
- Types that have a
Domain. - Typeable
- Guaranteed to always typecheck
- discriminant_from_value
- print_hash_stats
- run_partial_evaluator
- DomainPtr