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