public interface BoolVar extends IntVar, ILogical, ReExpression
ReExpression.Operator
MAX_INT_BOUND, MIN_INT_BOUND
BOOL, CSTE, INT, KIND, REAL, SET, TYPE, VAR, VIEW
NO_CHILD
Modifier and Type | Method and Description |
---|---|
void |
_setNot(BoolVar not) |
default BoolVar |
boolVar() |
default void |
extractVar(HashSet<IntVar> variables)
Extract the variables from this expression
|
ESat |
getBooleanValue() |
boolean |
hasNot() |
default IntVar |
intVar() |
BoolVar |
not() |
boolean |
setToFalse(ICause cause) |
boolean |
setToTrue(ICause cause) |
contains, getDomainSize, getLB, getNoChild, getRange, getRangeIterator, getUB, getValue, getValueIterator, hasEnumeratedDomain, instantiateTo, isBool, isExpressionLeaf, isInstantiatedTo, monitorDelta, nextValue, nextValueOut, previousValue, previousValueOut, removeAllValuesBut, removeInterval, removeValue, removeValues, reverseValue, transformEvent, transformValue, updateBounds, updateLowerBound, updateUpperBound, why
_schedIter, addMonitor, asBoolVar, asIntVar, asRealVar, asSetVar, clearEvents, contradiction, createDelta, getCause, getDelta, getDindex, getEnvironment, getIndexInPropagator, getMask, getModel, getName, getNbProps, getPIndices, getPropagator, getPropagators, getTypeAndKind, getViews, isAConstant, isInstantiated, link, notifyMonitors, notifyPropagators, notifyViews, removeMonitor, setPIndice, storeEvents, subscribeView, swapOnActivate, swapOnPassivate, unlink
compareTo
forEach, iterator, spliterator
isLit, isNot, setNot
ESat getBooleanValue()
boolean setToTrue(ICause cause) throws ContradictionException
ContradictionException
boolean setToFalse(ICause cause) throws ContradictionException
ContradictionException
BoolVar not()
not
in interface ReExpression
boolean hasNot()
void _setNot(BoolVar not)
default IntVar intVar()
intVar
in interface ArExpression
intVar
in interface IntVar
intVar
in interface ReExpression
IntVar
.
If necessary, it creates intermediary variable and posts intermediary constraintsdefault BoolVar boolVar()
boolVar
in interface ReExpression
BoolVar
.
If necessary, it creates intermediary variable and posts intermediary constraintsdefault void extractVar(HashSet<IntVar> variables)
ArExpression
extractVar
in interface ArExpression
extractVar
in interface ReExpression
variables
- set of variablesCopyright © 2018. All rights reserved.