Modules§
- ac_
operators - categories
- comprehension
- declaration
- eval
- matrix
- Utility functions for working with matrices.
- pretty
- Functions for pretty printing Conjure models.
- records
- serde
- Serde serialization/ deserialization helpers.
Structs§
- CnfClause
- Decision
Variable - Represents a decision variable within a computational model.
- Declaration
Ptr - A shared pointer to a [
Declaration]. - Func
Attr - Metadata
- Model
- An Essence model.
- Moo
- A clone-on-write, reference counted pointer to an AST type.
- Record
Entry - Record
Entry Ground - Reference
- A reference to a declaration (variable, parameter, etc.)
- Serde
Model - A model that is de/serializable using
serde. - SetAttr
- SubModel
- A sub-model, representing a lexical scope in the model.
- Symbol
Table - The global symbol table, mapping names to their definitions.
Enums§
- Abstract
Literal - Atom
- An
Atomis an indivisible expression, such as a literal or a reference. - Declaration
Kind - A specific kind of declaration.
- Domain
- Domain
OpError - An error thrown by an operation on domains.
- Expression
- Represents different types of expressions used to define rules and constraints in the model.
- Ground
Domain - IntVal
- Jectivity
Attr - Literal
- A literal value, equivalent to constants in Conjure.
- Name
- A reference to an object stored in the [
SymbolTable]. - Partiality
Attr - Range
- Return
Type - Unresolved
Domain
Traits§
Functions§
- eval_
constant - Simplify an expression to a constant if possible
Returns:
Noneif the expression cannot be simplified to a constant (e.g. if it contains a variable)Some(Const)if the expression can be simplified to a constant - run_
partial_ evaluator