public interface BoolVar extends IntVar, ILogical
Modifier and Type | Method and Description |
---|---|
void |
_setNot(BoolVar not) |
ESat |
getBooleanValue() |
boolean |
hasNot() |
BoolVar |
not() |
boolean |
setToFalse(ICause cause) |
boolean |
setToTrue(ICause cause) |
contains, getDomainSize, getLB, getRangeIterator, getUB, getValue, getValueIterator, hasEnumeratedDomain, instantiateTo, isBool, isInstantiatedTo, monitorDelta, nextValue, previousValue, removeInterval, removeValue, updateLowerBound, updateUpperBound
addMonitor, contradiction, createDelta, duplicate, duplicate, getDelta, getIndexInPropagator, getName, getNbProps, getPIndices, getPropagator, getPropagators, getSolver, getTypeAndKind, getViews, isInstantiated, link, notifyMonitors, notifyPropagators, notifyViews, recordMask, removeMonitor, subscribeView, unlink
compareTo
ESat getBooleanValue()
boolean setToTrue(ICause cause) throws ContradictionException
ContradictionException
boolean setToFalse(ICause cause) throws ContradictionException
ContradictionException
BoolVar not()
boolean hasNot()
void _setNot(BoolVar not)
Copyright © 2015. All rights reserved.