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.
|
_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
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 intCopyright © 2017. All rights reserved.