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
final class	FixedValue	Represents a single immutable number.
final 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 final Constraint[]	ClpConstraintStore.constraints

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

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

Methods in org.projog.clp that return Constraint

Modifier and Type	Method	Description
Constraint	Constraint.replace(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
final class	And
final class	Equivalent
final class	Implication
final class	Nand
final class	Nor
final class	Not
final class	Or
final class	Xor

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

Modifier and Type	Field	Description
private final Constraint	Not.constraint
private final Constraint	And.left
private final Constraint	Equivalent.left
private final Constraint	Implication.left
private final Constraint	Nand.left
private final Constraint	Nor.left
private final Constraint	Or.left
private final Constraint	Xor.left
private final Constraint	And.right
private final Constraint	Equivalent.right
private final Constraint	Implication.right
private final Constraint	Nand.right
private final Constraint	Nor.right
private final Constraint	Or.right
private final 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

Modifier	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
final class	Between	Enforces that the possible values of a given Expression are within the given range.
final class	EqualTo	Enforces that two Expressions have the same value.
final class	LessThan	Enforces that the value of one Expression is less than another.
final class	LessThanOrEqualTo	Enforces that the value of one Expression is less than or equal to another.
final class	NotEqualTo	Enforces that two Expressions do not have the same value.