public interface IView extends ICause, Variable
Modifier and Type | Method and Description |
---|---|
Variable |
getVariable()
Return the basis variable
|
void |
justifyEvent(IntVar var,
ICause cause,
IntEventType mask,
int one,
int two,
int three)
This methods is related to explanations, it binds an event occurring on the observed
variable to the view.
|
void |
notify(IEventType event)
To notify a view that the variable is observed has been modified.
|
_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
Variable getVariable()
void justifyEvent(IntVar var, ICause cause, IntEventType mask, int one, int two, int three)
var
- modified variablecause
- cause of the modificationmask
- type of modificationone
- an inttwo
- an intthree
- an intvoid notify(IEventType event) throws ContradictionException
event
- the event received by the observed variableContradictionException
- if a failure occursCopyright © 2018. All rights reserved.