Interface | Description |
---|---|
IntegerConstraint<V> |
IntegerConstraint is generic interface for integer constraints. |
Class | Description |
---|---|
IntegerClause<V> |
IntegerClause represents a clause, which is a set of OR- or AND-connected
equations (objects of IntegerEquation ). |
IntegerClause.Builder<V> |
IntegerClause.Builder is a IntegerClause builder. |
IntegerClauseSolver |
IntegerClauseSolver implements an equation clause solver. |
IntegerDomain |
IntegerDomain class represents a finite integer domain (a finite set of integer values). |
IntegerDomainConstraint<V> |
IntegerDomainConstraint class represents a simple constraint. |
IntegerEquation<V> |
IntegerEquation represents an equality or inequality of two integer variables
(objects of IntegerVariable ). |
IntegerField |
IntegerField class represents an integer field. |
IntegerFieldFormulaProblemSat4j |
IntegerFieldFormulaProblemSat4j represents an integer problem. |
IntegerFieldFormulaSolverSat4j |
IntegerFieldFormulaSolverSat4j implements an integer-field-constraints solver. |
IntegerFormula<V> |
IntegerFormula represents a formula, which is a set of IntegerClause . |
IntegerFormula.Builder<V> |
IntegerFormula.Builder is a IntegerFormula builder. |
IntegerFormulaBuilder<V> |
IntegerFormulaBuilder represents an abstract formula builder. |
IntegerRange |
This class represents a non-empty integer range (interval).
|
IntegerRangeConstraint |
IntegerRangeConstraint class represents a range constraint. |
IntegerVariable |
IntegerVariable represents a variable, which is a named entity with given width. |
Sat4jFormula |
Sat4jFormula represents a SAT4J formula, which is a set of clauses. |
Sat4jFormula.Builder |
Sat4jFormula.Builder is a Sat4jFormula builder. |
Sat4jUtils |
Sat4jUtils contains a number of utilities to deal with SAT4J. |
Enum | Description |
---|---|
IntegerClause.Type |
IntegerClause.Type contains clause types. |
IntegerDomainConstraint.Type |
IntegerDomainConstraint.Type contains domain constraint types. |
IntegerRange.RangePointType |
This enumeration contains types of range bounds.
|
IntegerVariableInitializer |
IntegerVariableInitializer defines strategies for initializing integer variables. |