Expand description
Contains structures which represent certain predicates.
The solver only utilizes the following types of predicates:
- A predicate of the form
[x >= v] - A predicate of the form
[x <= v] - A predicate of the form
[x = v] - A predicate of the form
[x != v]
In general, these Predicates are used to represent propagations, explanations or
decisions.
Structs§
- Predicate
- Representation of a domain operation, also known as an atomic constraint. It is a triple
(
DomainId,PredicateType, value). - Propositional
Conjunction - A struct which represents a conjunction of
Predicates (e.g. it can represent[x >= 5] /\ [y <= 10]).
Enums§
Traits§
- Predicate
Constructor - A trait which defines methods for creating a
Predicate.