Skip to main content Module ast Copy item path Source 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. DeclarationPtr A shared pointer to a Declaration ExprInfo A struct for the information about expressions ExpressionArena Arena-backed representation of an Expression ExpressionNodeId Stable handle for an expression node stored in an ExpressionArena Field A named field of a record or variant.
Used in [AbstractLiteral::Record] / [AbstractLiteral::Variant] and
in corresponding domains FuncAttr MSetAttr Metadata Per-expression metadata used for typing, source mapping, and runtime caches. Model An Essence model. Moo A clone-on-write, reference counted pointer to an AST type. Objective A single-objective optimisation statement. PartitionAttr PermutationAttr A permutation is inherently total and bijective by definition, so unlike partition or
function, its only attribute is a size constraint on numMoved, the number of moved points
(i.e. the points not fixed by the permutation) – confirmed against real Conjure’s own
numMoved/minNumMoved/maxNumMoved keywords (real Conjure does not accept
size/minSize/maxSize here, unlike set/relation/etc). 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 DeclarationKind A specific kind of declaration. Domain Variants are ordered from fully resolved to unresolved; keep broad matches in this order. 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 Variants use the project-wide type/domain ordering; keep broad matches in the same order. 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]. OptimiseDirection Whether an objective is minimised or maximised. PartialityAttr Range ReturnType Variants use the project-wide type/domain ordering; keep broad matches in the same order. SATIntEncoding UnresolvedDomain Variants use the project-wide type/domain ordering; keep broad matches in the same order. OXIDE_INT_MAX Upper bound of the default fully-bounded integer domain used by Conjure Oxide. OXIDE_INT_MIN Lower bound of the default fully-bounded integer domain used by Conjure Oxide. HasDomain Types that have a Domain Typeable Guaranteed to always typecheck discriminant_from_value domain_has_int_from_values Whether domain takes its values from a collection expression anywhere inside it. eval_constant Simplify an expression to a constant if possible
Returns:
None if 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 eval_constant_local Simplify an expression to a constant using only constants already present at this node. finish_root_evaluator_normalisation Finishes evaluator normalisation on the model root after rewriting completes. generator_values_from_expr Values for a constant collection expression used during constant folding. normalise_evaluator_local Applies the evaluator normalisation hook to a focused expression. normalise_root_constraint_deep Deep-normalises a single top-level constraint, or returns None if it is already normal. normalise_root_constraints_deep normalise_root_constraints_local Applies local root-list partial evaluation (strip true, propagate false, flatten ands). normalise_root_selective_deep_expr Deep-normalises selected non-flat top-level constraints in root. print_hash_stats run_partial_evaluator run_partial_evaluator_local Partially evaluates expr using only information already available at the focused node. try_lower_bool_atom_eq_true Rewrites x = true / true = x to x when x is a non-literal boolean atom. DomainPtr