minicp.engine.core

Interface BoolVar

All Superinterfaces:

IntVar

All Known Implementing Classes:

BoolVarImpl, BoolVarIsEqual

public interface BoolVar
extends IntVar

Boolean variable, that can be used as a 0-1 IntVar.

0 corresponds to false, and 1 corresponds to true

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 interface minicp.engine.core.IntVar

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

Method Detail

isTrue

boolean isTrue()

Tests if the variable is bound to true

Returns:

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

isFalse

boolean isFalse()

Tests if the variable is bound to false

Returns:

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

assign

void assign(boolean b)

Assigns the variable

Parameters:

b - the value to assign to this boolean variable

Throws:

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