| Class | Description |
|---|---|
| BooleanLiteral |
This class implements a boolean literal of CSP.
|
| BooleanVariable |
This class implements a boolean variable of CSP.
|
| Clause |
This class implements a clause in CSP.
|
| CSP |
A class for CSP (Constraint Satisfaction Problems).
|
| HoldLiteral |
This class implements a literal for constraints when they are not linearlized nor decomposed.
|
| IntegerDomain |
This is an abstract class of integer domains.
|
| IntegerDomainDiet |
This class implements an integer domain class.
|
| IntegerDomainIntevals |
This class implements an integer domain class.
|
| IntegerVariable |
This class implements an integer variable of CSP.
|
| LabelLiteral |
This class implements a literal for representing labels of group-CNF/labelled-CNF.
|
| LinearEqLiteral |
This class implements a comparison literal of CSP.
|
| LinearGeLiteral |
This class implements a comparison literal of CSP.
|
| LinearLeLiteral |
This class implements a comparison literal of CSP.
|
| LinearLiteral |
This class implements a comparison literal of CSP.
|
| LinearNeLiteral |
This class implements a comparison literal of CSP.
|
| LinearSum |
A class for linear expressions.
|
| Literal |
This is an abstract class for literals of CSP.
|
| PowerLiteral |
NOT IMPLEMENTED YET.
|
| Predicate |
Predicate class.
|
| ProductLiteral |
NOT IMPLEMENTED YET.
|
| Relation |
Relation class.
|
| RelationLiteral |
This class implements a literal for relations.
|
| Enum | Description |
|---|---|
| CSP.Objective |
Objective types.
|