Uses of Interface
org.projog.clp.Constraint

Packages that use Constraint

Package	Description
org.projog.clp	A constraint logic programming library for finite domains.
org.projog.clp.bool	Contains boolean constraints.
org.projog.clp.compare	Contains constraints which compare numeric values represented by instances of Expression.

Uses of Constraint in org.projog.clp

Subinterfaces of Constraint in org.projog.clp

Modifier and Type	Interface	Description
interface	LeafExpression

Classes in org.projog.clp that implement Constraint

Modifier and Type	Class	Description
class	FixedValue	Represents a single immutable number.
class	Variable	An expression that can have one or more possible numeric values.

Fields in org.projog.clp declared as Constraint

Modifier and Type	Field	Description
private Constraint[]	ClpConstraintStore.constraints

Fields in org.projog.clp with type parameters of type Constraint

Modifier and Type	Field	Description
private java.util.List<Constraint>	ClpConstraintStore.Builder.constraints

Methods in org.projog.clp that return Constraint

Modifier and Type	Method	Description
Constraint	Constraint.replace(java.util.function.Function<LeafExpression,LeafExpression> function)	Returns new Constraint with LeafExpressions in this Constraint replaced with values returned from the given function.

Methods in org.projog.clp with parameters of type Constraint

Modifier and Type	Method	Description
void	ClpConstraintStore.Builder.addConstraint(Constraint constraint)
void	ClpConstraintStore.Enforce.equivalentTo(Constraint equivalent)

Uses of Constraint in org.projog.clp.bool

Classes in org.projog.clp.bool that implement Constraint

Modifier and Type	Class	Description
class	And
class	Equivalent
class	Implication
class	Nand
class	Nor
class	Not
class	Or
class	Xor

Fields in org.projog.clp.bool declared as Constraint

Modifier and Type	Field	Description
private Constraint	Not.constraint
private Constraint	And.left
private Constraint	Equivalent.left
private Constraint	Implication.left
private Constraint	Nand.left
private Constraint	Nor.left
private Constraint	Or.left
private Constraint	Xor.left
private Constraint	And.right
private Constraint	Equivalent.right
private Constraint	Implication.right
private Constraint	Nand.right
private Constraint	Nor.right
private Constraint	Or.right
private Constraint	Xor.right

Methods in org.projog.clp.bool with parameters of type Constraint

Modifier and Type	Method	Description
(package private) static ConstraintResult	And.enforce(Constraint left, Constraint right, ConstraintStore constraintStore)
(package private) static ConstraintResult	Equivalent.enforce(Constraint left, Constraint right, ConstraintStore constraintStore)
(package private) static ConstraintResult	Nand.enforce(Constraint left, Constraint right, ConstraintStore constraintStore)
(package private) static ConstraintResult	Nor.enforce(Constraint left, Constraint right, ConstraintStore constraintStore)
(package private) static ConstraintResult	Or.enforce(Constraint left, Constraint right, ConstraintStore constraintStore)
(package private) static ConstraintResult	Xor.enforce(Constraint left, Constraint right, ConstraintStore constraintStore)
private static ConstraintResult	Equivalent.internalEnforce(Constraint a, Constraint b, ConstraintStore constraintStore)
private static ConstraintResult	Xor.internalEnforce(Constraint a, Constraint b, ConstraintStore constraintStore)

Constructors in org.projog.clp.bool with parameters of type Constraint

Constructor	Description
And(Constraint left, Constraint right)
Equivalent(Constraint left, Constraint right)
Implication(Constraint left, Constraint right)
Nand(Constraint left, Constraint right)
Nor(Constraint left, Constraint right)
Not(Constraint constraint)
Or(Constraint left, Constraint right)
Xor(Constraint left, Constraint right)

Uses of Constraint in org.projog.clp.compare

Classes in org.projog.clp.compare that implement Constraint

Modifier and Type	Class	Description
class	Between	Enforces that the possible values of a given Expression are within the given range.
class	EqualTo	Enforces that two Expressions have the same value.
class	LessThan	Enforces that the value of one Expression is less than another.
class	LessThanOrEqualTo	Enforces that the value of one Expression is less than or equal to another.
class	NotEqualTo	Enforces that two Expressions do not have the same value.