minicp.engine.core

Class BoolVarIsEqual

java.lang.Object

minicp.engine.core.IntVarImpl

minicp.engine.core.BoolVarIsEqual

All Implemented Interfaces:

BoolVar, IntVar

public class BoolVarIsEqual
extends IntVarImpl
implements BoolVar

Constructor Summary

Constructors

Constructor and Description
BoolVarIsEqual(IntVar x, int v)

Method Summary

Modifier and Type	Method and Description
void	assign(boolean b) Assigns the variable
boolean	isFalse() Tests if the variable is bound to false
boolean	isTrue() Tests if the variable is bound to true

Methods inherited from class minicp.engine.core.IntVarImpl

assign, contains, fillArray, getSolver, isBound, max, min, propagateOnBind, propagateOnBoundChange, propagateOnDomainChange, remove, removeAbove, removeBelow, scheduleAll, size, toString, whenBind, whenBoundsChange, whenDomainChange

Methods inherited from class java.lang.Object

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

Methods inherited from interface minicp.engine.core.IntVar

assign, contains, fillArray, getSolver, isBound, max, min, propagateOnBind, propagateOnBoundChange, propagateOnDomainChange, remove, removeAbove, removeBelow, size, whenBind, whenBoundsChange, whenDomainChange

Constructor Detail

BoolVarIsEqual

public BoolVarIsEqual(IntVar x,
                      int v)

Method Detail

isTrue

public boolean isTrue()

Description copied from interface: BoolVar

Tests if the variable is bound to true

Specified by:

isTrue in interface BoolVar

Returns:

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

isFalse

public boolean isFalse()

Description copied from interface: BoolVar

Tests if the variable is bound to false

Specified by:

isFalse in interface BoolVar

Returns:

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

assign

public void assign(boolean b)
            throws InconsistencyException

Description copied from interface: BoolVar

Assigns the variable

Specified by:

assign in interface BoolVar

Parameters:

b - the value to assign to this boolean variable

Throws:

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