public interface BoolVar extends IntVar, ILogical
ArExpression.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) |
ESat |
getBooleanValue() |
boolean |
hasNot() |
BoolVar |
not() |
boolean |
setToFalse(ICause cause) |
boolean |
setToTrue(ICause cause) |
contains, getDomainSize, getLB, getRange, getRangeIterator, getUB, getValue, getValueIterator, hasEnumeratedDomain, instantiateTo, intVar, isBool, isExpressionLeaf, isInstantiatedTo, monitorDelta, nextValue, nextValueOut, previousValue, previousValueOut, removeAllValuesBut, removeInterval, removeValue, removeValues, reverseValue, transformEvent, transformValue, updateBounds, updateLowerBound, updateUpperBound, why
_schedIter, addMonitor, contradiction, createDelta, getDelta, getDindex, getEnvironment, getIndexInPropagator, getModel, getName, getNbProps, getPIndices, getPropagator, getPropagators, getTypeAndKind, getViews, isAConstant, isInstantiated, link, notifyMonitors, notifyPropagators, notifyViews, removeMonitor, setPIndice, subscribeView, unlink
compareTo
forEach, iterator, spliterator
abs, add, add, add, dist, dist, div, div, eq, eq, eq, extractVar, ge, ge, getExpressionChild, getModel, gt, gt, ieval, le, le, lt, lt, max, max, max, min, min, min, mod, mod, mul, mul, mul, ne, ne, neg, pow, pow, sqr, sub, sub
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 © 2017. All rights reserved.