Package org.projog.core.predicate.builtin.clp
Predicates to support constraint logic programming.
-
Interface Summary Interface Description ConstraintFactory ExpressionFactory -
Class Summary Class Description AddExpressionFactory pj_add_clp_expression(X,Y)- defines a Java class as an CLP expression.BooleanConstraintPredicate CLP predicates for comparing boolean values.ClpVariable ATermthat could represent a number of possible numeric values.CommonExpression CoreConstraintStore An implementation ofConstraintStorefor use in Projog.Distinct all_different([X,Y,Z])- enforce that none of the given CLP variables share the same value.ExpressionFactories Maintains a collection ofExpressionFactoryinstances.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.Resolve.ClpResolvePredicate