Uses of Interface
org.projog.clp.ConstraintStore

Packages that use ConstraintStore

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.
org.projog.clp.math	Contains classes that perform arithmetic operators using instances of Expression.

Uses of ConstraintStore in org.projog.clp

Classes in org.projog.clp that implement ConstraintStore

Modifier and Type	Class	Description
final class	ClpConstraintStore	A collection of constraints and variables that represent a problem domain.

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

Modifier and Type	Method	Description
ConstraintResult	Constraint.enforce(ConstraintStore constraintStore)	Attempts to enforce this constraint using the given ConstraintStore.
ConstraintResult	FixedValue.enforce(ConstraintStore constraintStore)
ConstraintResult	Variable.enforce(ConstraintStore s)
ConstraintResult	Constraint.prevent(ConstraintStore constraintStore)	Attempts to prevent this constraint using the given ConstraintStore.
ConstraintResult	FixedValue.prevent(ConstraintStore constraintStore)
ConstraintResult	Variable.prevent(ConstraintStore s)
default ExpressionResult	Constraint.setMax(ConstraintStore constraintStore, long max)
ExpressionResult	Expression.setMax(ConstraintStore constraintStore, long max)
ExpressionResult	FixedValue.setMax(ConstraintStore s, long max)
ExpressionResult	Variable.setMax(ConstraintStore s, long max)
default ExpressionResult	Constraint.setMin(ConstraintStore constraintStore, long min)
ExpressionResult	Expression.setMin(ConstraintStore constraintStore, long min)
ExpressionResult	FixedValue.setMin(ConstraintStore s, long min)
ExpressionResult	Variable.setMin(ConstraintStore s, long min)
default ExpressionResult	Expression.setNot(ConstraintStore store, long not)
ExpressionResult	FixedValue.setNot(ConstraintStore s, long not)
ExpressionResult	Variable.setNot(ConstraintStore s, long not)
ExpressionResult	Variable.setValue(ConstraintStore s, long value)

Uses of ConstraintStore in org.projog.clp.bool

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

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

Uses of ConstraintStore in org.projog.clp.compare

Methods in org.projog.clp.compare with parameters of type ConstraintStore

Modifier and Type	Method	Description
ConstraintResult	Between.enforce(ConstraintStore m)
ConstraintResult	EqualTo.enforce(ConstraintStore m)
(package private) static ConstraintResult	EqualTo.enforce(Expression left, Expression right, ConstraintStore m)
ConstraintResult	LessThan.enforce(ConstraintStore m)
(package private) static ConstraintResult	LessThan.enforce(Expression left, Expression right, ConstraintStore m)
ConstraintResult	LessThanOrEqualTo.enforce(ConstraintStore m)
(package private) static ConstraintResult	LessThanOrEqualTo.enforce(Expression left, Expression right, ConstraintStore m)
ConstraintResult	NotEqualTo.enforce(ConstraintStore m)
(package private) static ConstraintResult	NotEqualTo.enforce(Expression left, Expression right, ConstraintStore m)
ConstraintResult	Between.prevent(ConstraintStore constraintStore)
ConstraintResult	EqualTo.prevent(ConstraintStore constraintStore)
ConstraintResult	LessThan.prevent(ConstraintStore constraintStore)
ConstraintResult	LessThanOrEqualTo.prevent(ConstraintStore constraintStore)
ConstraintResult	NotEqualTo.prevent(ConstraintStore constraintStore)

Uses of ConstraintStore in org.projog.clp.math

Methods in org.projog.clp.math with parameters of type ConstraintStore

Modifier and Type	Method	Description
ExpressionResult	Absolute.setMax(ConstraintStore s, long value)
ExpressionResult	Add.setMax(ConstraintStore s, long max)
ExpressionResult	Divide.setMax(ConstraintStore s, long max)
ExpressionResult	Maximum.setMax(ConstraintStore constraintStore, long max)
ExpressionResult	Minimum.setMax(ConstraintStore constraintStore, long max)
ExpressionResult	Minus.setMax(ConstraintStore s, long value)
ExpressionResult	Multiply.setMax(ConstraintStore s, long max)
private static ExpressionResult	Multiply.setMax(ConstraintStore s, Expression left, long max, long leftMax, long rightMin, long rightMax, BiFunction<Long,Long,Long> f)
ExpressionResult	Subtract.setMax(ConstraintStore s, long max)
ExpressionResult	Absolute.setMin(ConstraintStore s, long value)
ExpressionResult	Add.setMin(ConstraintStore s, long min)
ExpressionResult	Divide.setMin(ConstraintStore s, long min)
ExpressionResult	Maximum.setMin(ConstraintStore constraintStore, long min)
ExpressionResult	Minimum.setMin(ConstraintStore constraintStore, long min)
ExpressionResult	Minus.setMin(ConstraintStore s, long value)
ExpressionResult	Multiply.setMin(ConstraintStore s, long min)
private static ExpressionResult	Multiply.setMin(ConstraintStore s, Expression left, long min, long leftMin, long rightMin, long rightMax, BiFunction<Long,Long,Long> f)
ExpressionResult	Subtract.setMin(ConstraintStore s, long min)