choco.palm.integer
Interface ExplainedIntVar

All Superinterfaces:

Entity, ExplainedVar, IntDomainVar, IntExp, IntVar, Var

All Known Implementing Classes:

JumpIntVar, PalmIntVar

public interface ExplainedIntVar
extends ExplainedVar, IntDomainVar

Field Summary

Fields inherited from interface choco.integer.IntDomainVar

BOUNDS, LIST

Method Summary

int[]	getAllValues() Deprecated.
boolean	instantiate(int value, int idx, Explanation e)
boolean	removeVal(int value, int idx, Explanation e)
void	self_explain(int select, int x, Explanation expl)
boolean	updateInf(int x, int idx, Explanation e)
boolean	updateSup(int x, int idx, Explanation e)

Methods inherited from interface choco.palm.ExplainedVar

self_explain

Methods inherited from interface choco.integer.IntDomainVar

canBeEqualTo, canBeInstantiatedIn, canBeInstantiatedTo, getDomain, getDomainSize, getInf, getNextDomainValue, getPrevDomainValue, getProblem, getRandomDomainValue, getSup, getVal, getValue, hasEnumeratedDomain, instantiate, isInstantiatedTo, removeInterval, removeVal, remVal, setInf, setMax, setMin, setSup, setVal, updateInf, updateSup, wipeOut

Method Detail

self_explain

void self_explain(int select,
                  int x,
                  Explanation expl)

updateInf

boolean updateInf(int x,
                  int idx,
                  Explanation e)
                  throws ContradictionException

Throws:

ContradictionException

updateSup

boolean updateSup(int x,
                  int idx,
                  Explanation e)
                  throws ContradictionException

Throws:

ContradictionException

removeVal

boolean removeVal(int value,
                  int idx,
                  Explanation e)
                  throws ContradictionException

Throws:

ContradictionException

instantiate

boolean instantiate(int value,
                    int idx,
                    Explanation e)
                    throws ContradictionException

Throws:

ContradictionException

getAllValues

int[] getAllValues()

Deprecated.