Uses of Interface
org.projog.clp.ReadConstraintStore

Packages that use ReadConstraintStore

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

Subinterfaces of ReadConstraintStore in org.projog.clp

Modifier and Type	Interface	Description
interface	ConstraintStore

Classes in org.projog.clp that implement ReadConstraintStore

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

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

Modifier and Type	Method	Description
default long	Constraint.getMax(ReadConstraintStore constraintStore)
long	Expression.getMax(ReadConstraintStore constraintStore)
long	FixedValue.getMax(ReadConstraintStore s)
long	Variable.getMax(ReadConstraintStore s)
default long	Constraint.getMin(ReadConstraintStore constraintStore)
long	Expression.getMin(ReadConstraintStore constraintStore)
long	FixedValue.getMin(ReadConstraintStore s)
long	Variable.getMin(ReadConstraintStore s)
ConstraintResult	Constraint.reify(ReadConstraintStore constraintStore)
ConstraintResult	FixedValue.reify(ReadConstraintStore constraintStore)
ConstraintResult	Variable.reify(ReadConstraintStore s)

Uses of ReadConstraintStore in org.projog.clp.bool

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

Modifier and Type	Method	Description
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 ReadConstraintStore in org.projog.clp.compare

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

Modifier and Type	Method	Description
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)

Uses of ReadConstraintStore in org.projog.clp.math

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

Modifier and Type	Method	Description
long	Absolute.getMax(ReadConstraintStore s)
long	Add.getMax(ReadConstraintStore s)
long	Divide.getMax(ReadConstraintStore s)
long	Maximum.getMax(ReadConstraintStore constraintStore)
long	Minimum.getMax(ReadConstraintStore constraintStore)
long	Minus.getMax(ReadConstraintStore s)
long	Multiply.getMax(ReadConstraintStore s)
long	Subtract.getMax(ReadConstraintStore s)
long	Absolute.getMin(ReadConstraintStore s)
long	Add.getMin(ReadConstraintStore s)
long	Divide.getMin(ReadConstraintStore s)
long	Maximum.getMin(ReadConstraintStore constraintStore)
long	Minimum.getMin(ReadConstraintStore constraintStore)
long	Minus.getMin(ReadConstraintStore s)
long	Multiply.getMin(ReadConstraintStore s)
long	Subtract.getMin(ReadConstraintStore s)