Package org.projog.clp

A constraint logic programming library for finite domains.

Created to add constraint logic programming functionality to Projog.

Interface Summary

Interface	Description
Constraint	A rule that restricts the numeric values that can be used to solve a problem.
ConstraintStore
Expression	Represents something that can have a range of numeric values.
LeafExpression
ReadConstraintStore

Class Summary

Class	Description
BruteForceSearch	Performs a brute force search.
ClpConstraintStore	A collection of constraints and variables that represent a problem domain.
ClpConstraintStore.Builder
ClpConstraintStore.Enforce
ClpConstraintStore.EnforceAll
FixedValue	Represents a single immutable number.
NumberSet	A set of long primitives.
Possibilities	Used to iterate over a range of possible values.
Variable	An expression that can have one or more possible numeric values.
VariableState	Represents the possible values for a variable.

Enum Summary

Enum	Description
ConstraintResult	Indicates the outcome of attempting to satisfy a constraint.
ExpressionResult	Indicates the outcome of attempting to restrict the possible values of an expression.
VariableStateResult	Indicates the outcome of attempting to restrict the possible values of a variable.