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