See: Description
Interface | Description |
---|---|
ConstraintFactory | |
ExpressionFactory |
Class | Description |
---|---|
AddExpressionFactory |
pj_add_clp_expression(X,Y) - defines a Java class as an CLP expression. |
BooleanConstraintPredicate |
CLP predicates for comparing boolean values.
|
CommonExpression | |
Distinct |
all_different([X,Y,Z]) - enforce that none of the given CLP variables share the same value. |
ExpressionFactories |
Maintains a collection of
ExpressionFactory instances. |
In |
X in 1..4 / [X,Y,Z] ins 1..4 - restrict CLP variables to a range of values. |
NumericConstraintPredicate |
CLP predicates for comparing numeric values.
|
Resolve |
label([X]) - assigns concrete values to the given CLP variables. |
Copyright © 2024. All rights reserved.