Uses of Class
org.projog.clp.ConstraintResult

Packages that use ConstraintResult

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 ConstraintResult in org.projog.clp

Methods in org.projog.clp that return ConstraintResult

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)
ConstraintResult	Constraint.reify(ReadConstraintStore constraintStore)
ConstraintResult	FixedValue.reify(ReadConstraintStore constraintStore)
ConstraintResult	Variable.reify(ReadConstraintStore s)
static ConstraintResult	ConstraintResult.valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static ConstraintResult[]	ConstraintResult.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Uses of ConstraintResult in org.projog.clp.bool

Methods in org.projog.clp.bool that return ConstraintResult

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)
ConstraintResult	And.reify(ReadConstraintStore constraintStore)
ConstraintResult	Equivalent.reify(ReadConstraintStore constraintStore)
ConstraintResult	Implication.reify(ReadConstraintStore constraintStore)
ConstraintResult	Nand.reify(ReadConstraintStore constraintStore)
ConstraintResult	Nor.reify(ReadConstraintStore constraintStore)
ConstraintResult	Not.reify(ReadConstraintStore constraintStore)
ConstraintResult	Or.reify(ReadConstraintStore constraintStore)
ConstraintResult	Xor.reify(ReadConstraintStore constraintStore)

Uses of ConstraintResult in org.projog.clp.compare

Methods in org.projog.clp.compare that return ConstraintResult

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)
ConstraintResult	Between.reify(ReadConstraintStore constraintStore)
ConstraintResult	EqualTo.reify(ReadConstraintStore constraintStore)
ConstraintResult	LessThan.reify(ReadConstraintStore constraintStore)
ConstraintResult	LessThanOrEqualTo.reify(ReadConstraintStore constraintStore)
ConstraintResult	NotEqualTo.reify(ReadConstraintStore constraintStore)