public interface IView extends ICause, Variable
Modifier and Type | Method and Description |
---|---|
default void |
explain(ExplanationForSignedClause explanation,
ValueSortedMap<IntVar> front,
Implications ig,
int p)
Clausal explanation for this cause.
|
IntVar |
getVariable()
Return the basis variable
|
void |
justifyEvent(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.
|
forEachIntVar
addMonitor, asBoolVar, asIntVar, asRealVar, asSetVar, clearEvents, contradiction, createDelta, getCause, getDelta, getDindex, getEnvironment, getEvtScheduler, getIndexInPropagator, getMask, getModel, getName, getNbProps, getNbViews, getPIndices, getPropagator, getPropagators, getTypeAndKind, getView, isAConstant, isInstantiated, link, notifyMonitors, notifyPropagators, notifyViews, removeMonitor, setPIndice, storeEvents, subscribeView, swapOnActivate, swapOnPassivate, unlink
compareTo
IntVar getVariable()
void justifyEvent(IntEventType mask, int one, int two, int three)
mask
- 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 occursdefault void explain(ExplanationForSignedClause explanation, ValueSortedMap<IntVar> front, Implications ig, int p)
ICause
This method must filled explanations with inferred literals. These literals are inferred from the analysis of (a subset of) conflicting nodes stored in front, the implication graph ig and the current node in conflict, not yet contained in front.
Optionally, this method can update front by looking for a predecessor of any node that seems more relevant than the declared one.
Copyright © 2018. All rights reserved.