| 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. |
| IntegerFieldFormulaSolver |
IntegerFieldFormulaSolver 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. |
| IntegerFormulaSolver |
IntegerFormulaSolver implements a simple constraint solver. |
| IntegerRange |
This class represents a non-empty integer range (interval).
|
| IntegerVariable |
IntegerVariable represents a variable, which is a named entity with given width. |
| 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. |