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.
|