Package org.projog.clp

Interface ConstraintStore

All Superinterfaces:

ReadConstraintStore

All Known Implementing Classes:

ClpConstraintStore

public interface ConstraintStore
extends ReadConstraintStore

Method Summary

Modifier and Type	Method	Description
ExpressionResult	setMax(Expression id, long max)
ExpressionResult	setMin(Expression id, long min)
ExpressionResult	setNot(Expression id, long not)
ExpressionResult	setValue(Expression id, long value)

Methods inherited from interface org.projog.clp.ReadConstraintStore

getMax, getMin

Method Detail

setValue

ExpressionResult setValue(Expression id,
                          long value)

setMin

ExpressionResult setMin(Expression id,
                        long min)

setMax

ExpressionResult setMax(Expression id,
                        long max)

setNot

ExpressionResult setNot(Expression id,
                        long not)