| Class | Description |
|---|---|
| Constraint |
The Constraint class stores a description of a constraint and provides facilities to perform
manipulations with it.
|
| ConstraintBuilder |
The ConstraintBuilder class is a builder that creates Constraint objects.
|
| ConstraintCombiner |
The ConstraintCombiner class provides methods to create new constraints by combining existing
ones (by performing negation, logical conjunction and logical disjunction).
|
| ConstraintUtils |
The ConstraintUtils class provides utility methods to deal with constraints.
|
| Formulas |
The Formulas class serves as a container for formula expressions (assertions) that specify the
invariants for a taken constraint.
|
| Enum | Description |
|---|---|
| ConstraintKind |
The ConstraintKind enumeration describes constraint types.
|