Module org.maxicp

Package org.maxicp.cp.engine.core

Class CPBoolVarIsEqual

java.lang.Object

org.maxicp.cp.engine.core.CPIntVarImpl

org.maxicp.cp.engine.core.CPBoolVarIsEqual

All Implemented Interfaces:

Serializable, CPBoolVar, CPIntVar, CPVar, BoolExpression, Expression, IntExpression, BoolVar, ConcreteBoolVar, ConcreteIntVar, ConcreteVar, IntVar, Var

public class CPBoolVarIsEqual
extends CPIntVarImpl
implements CPBoolVar

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
CPBoolVarIsEqual(CPIntVar x, int v)

Method Summary

Modifier and Type	Method	Description
void	fix(boolean b)	Fixes the variable
boolean	isFalse()	Tests if the variable is fixed to false
boolean	isTrue()	Tests if the variable is fixed to true

Methods inherited from class org.maxicp.cp.engine.core.CPIntVarImpl

contains, delta, fillArray, fillDeltaArray, fix, getModelProxy, getSolver, isFixed, max, min, propagateOnBoundChange, propagateOnDomainChange, propagateOnFix, remove, removeAbove, removeBelow, scheduleAll, size, toString, whenBoundChange, whenDomainChange, whenDomainChange, whenFixed

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.maxicp.modeling.algebra.bool.BoolExpression

reify

Methods inherited from interface org.maxicp.cp.engine.core.CPBoolVar

contains, evaluateBool, fillArray, max, min, size

Methods inherited from interface org.maxicp.cp.engine.core.CPIntVar

abs, after, before, delta, evaluate, fillDeltaArray, fix, getSolver, isFixed, minus, minus, plus, plus, propagateOnBoundChange, propagateOnDomainChange, propagateOnFix, remove, removeAbove, removeBelow, whenBoundChange, whenDomainChange, whenDomainChange, whenFixed

Methods inherited from interface org.maxicp.modeling.algebra.Expression

getModelProxy, subexpressions

Methods inherited from interface org.maxicp.modeling.algebra.integer.IntExpression

show

Methods inherited from interface org.maxicp.modeling.IntVar

computeSubexpressions, isFixed, mapSubexpressions

Methods inherited from interface org.maxicp.modeling.Var

getModelProxy

Constructor Details

CPBoolVarIsEqual

public CPBoolVarIsEqual(CPIntVar x,
 int v)

Method Details

isTrue

public boolean isTrue()

Description copied from interface: CPBoolVar

Tests if the variable is fixed to true

Specified by:

isTrue in interface CPBoolVar

Returns:

true if the variable is fixed to true (value 1)

isFalse

public boolean isFalse()

Description copied from interface: CPBoolVar

Tests if the variable is fixed to false

Specified by:

isFalse in interface CPBoolVar

Returns:

true if the variable is fixed to false (value 0)

fix

public void fix(boolean b)
         throws InconsistencyException

Description copied from interface: CPBoolVar

Fixes the variable

Specified by:

fix in interface CPBoolVar

Parameters:

b - the value to assign to this boolean variable

Throws:

InconsistencyException - is thrown if the value is not in the domain