Package org.projog.clp

package org.projog.clp

A constraint logic programming library for finite domains.

Created to add constraint logic programming functionality to Projog.

Related Packages

Package	Description
org.projog.clp.bool	Contains boolean constraints.
org.projog.clp.compare	Contains constraints which compare numeric values represented by instances of Expression.
org.projog.clp.math	Contains classes that perform arithmetic operators using instances of Expression.

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
Constraint	A rule that restricts the numeric values that can be used to solve a problem.
ConstraintResult	Indicates the outcome of attempting to satisfy a constraint.
ConstraintStore
Expression	Represents something that can have a range of numeric values.
ExpressionResult	Indicates the outcome of attempting to restrict the possible values of an expression.
FixedValue	Represents a single immutable number.
LeafExpression
NumberSet	A set of long primitives.
Possibilities	Used to iterate over a range of possible values.
ReadConstraintStore
Variable	An expression that can have one or more possible numeric values.
VariableState	Represents the possible values for a variable.
VariableStateResult	Indicates the outcome of attempting to restrict the possible values of a variable.