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.
|
FormulasEncoder |
|
Sat4jFormula |
Sat4jFormula represents a SAT4J formula, which is a set of clauses.
|
Sat4jFormula.Builder |
|
Sat4jFormulaEncoder |
|
Sat4jUtils |
|