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	A Term that could represent a number of possible numeric values.
CommonExpression
CoreConstraintStore	An implementation of ConstraintStore for 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 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.
Resolve.ClpResolvePredicate