Module predicates

Containts structures which represent certain predicates.

The solver only utilizes the following types of predicates:

• Predicates over integers - These IntegerPredicates specify atomic constraints of the form [x >= v], [x <= v], [x == v], and [x != v].
• Predicates over literals - These Predicate::Literals specify Literals which are linked to the aforementioned IntegerPredicates.
• Always True/False - The Predicate::True/Predicate::False specify logical predicates which are always true/false.

In general, these Predicates are used to represent propagations, explanations or decisions.

Structs

• PropositionalConjunction
  A struct which represents a conjunction of Predicates (e.g. it can represent [x >= 5] /\ [y <= 10]).

Enums

• IntegerPredicate
  Representation of a domain operation
• Predicate
  This structure is oftentimes used to represent propagations, explanations or decisions.

Traits

• PredicateConstructor
  A trait which defines methods for creating a Predicate. It currently only specifies the creation of Predicates based on IntegerPredicates.