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