jopt.csp.variable
Interface CspBooleanVariable

All Superinterfaces:

CspBooleanExpr, CspIntExpr, CspNumExpr, CspVariable

public interface CspBooleanVariable

extends CspBooleanExpr, CspVariable

Method Summary

void	setFalse() Sets the domain value to false
void	setTrue() Sets the domain value to true

Methods inherited from interface jopt.csp.variable.CspBooleanExpr

and, and, and, and, eq, eq, eq, implies, implies, implies, implies, isFalse, isTrue, not, or, or, or, or, toConstraint, xor, xor, xor, xor

Methods inherited from interface jopt.csp.variable.CspIntExpr

add, add, add, add, add, add, add, add, between, between, divide, divide, divide, divide, divide, divide, divide, divide, eq, eq, geq, geq, getMax, getMin, gt, gt, leq, leq, lt, lt, multiply, multiply, multiply, multiply, multiply, multiply, multiply, multiply, neq, neq, notBetween, notBetween, subtract, subtract, subtract, subtract, subtract, subtract, subtract, subtract

Methods inherited from interface jopt.csp.variable.CspNumExpr

between, between, between, between, eq, geq, getName, gt, isBound, leq, lt, neq, notBetween, notBetween, notBetween, notBetween, setName

Methods inherited from interface jopt.csp.variable.CspVariable

getName, getSize, isBound

Method Detail

setTrue

public void setTrue()
             throws PropagationFailureException

Sets the domain value to true

Throws:

PropagationFailureException

setFalse

public void setFalse()
              throws PropagationFailureException

Sets the domain value to false

Throws:

PropagationFailureException