org.chocosolver.solver.variables

Interface BoolVar

All Superinterfaces:

Cloneable, Comparable<Variable>, Identity, ILogical, IntVar, Serializable, Variable

All Known Implementing Classes:

BoolEqView, BoolNotView, BoolVarImpl, FixedBoolVarImpl

public interface BoolVar
extends IntVar, ILogical

CPRU r544: remove default implementation

Since:

18 nov. 2010

Author:

Charles Prud'homme

Field Summary

Fields inherited from interface org.chocosolver.solver.variables.Variable

BOOL, CSTE, INT, KIND, REAL, SET, TYPE, VAR, VIEW

Method Summary

Modifier and Type	Method and Description
void	_setNot(BoolVar not)
ESat	getBooleanValue()
boolean	hasNot()
BoolVar	not()
boolean	setToFalse(ICause cause)
boolean	setToTrue(ICause cause)

Methods inherited from interface org.chocosolver.solver.variables.IntVar

contains, getDomainSize, getLB, getRange, getRangeIterator, getUB, getValue, getValueIterator, hasEnumeratedDomain, instantiateTo, isBool, isInstantiatedTo, monitorDelta, nextValue, previousValue, removeAllValuesBut, removeInterval, removeValue, removeValues, updateBounds, updateLowerBound, updateUpperBound

Methods inherited from interface org.chocosolver.solver.variables.Variable

_schedIter, addMonitor, contradiction, createDelta, duplicate, getDelta, getDindex, getIndexInPropagator, getName, getNbProps, getPIndices, getPropagator, getPropagators, getSolver, getTypeAndKind, getViews, isInstantiated, link, notifyMonitors, notifyPropagators, notifyViews, recordMask, removeMonitor, subscribeView, unlink

Methods inherited from interface org.chocosolver.solver.Identity

getId

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.chocosolver.solver.constraints.nary.cnf.ILogical

isLit, isNot, setNot

Method Detail

getBooleanValue

ESat getBooleanValue()

setToTrue

boolean setToTrue(ICause cause)
           throws ContradictionException

Throws:

ContradictionException

setToFalse

boolean setToFalse(ICause cause)
            throws ContradictionException

Throws:

ContradictionException

not

BoolVar not()

hasNot

boolean hasNot()

_setNot

void _setNot(BoolVar not)