choco.palm.cbj.integer
Class JumpIntVar

java.lang.Object
  choco.AbstractEntity
      choco.AbstractVar
          choco.integer.var.IntDomainVarImpl
              choco.palm.cbj.integer.JumpIntVar

All Implemented Interfaces:

Entity, IntDomainVar, IntExp, IntVar, ExplainedVar, ExplainedIntVar, Var

public class JumpIntVar
extends IntDomainVarImpl
implements ExplainedIntVar

Field Summary

Fields inherited from class choco.integer.var.IntDomainVarImpl

domain, logger, value

Fields inherited from class choco.AbstractVar

constraints, event, indices, name

Fields inherited from class choco.AbstractEntity

hook, problem

Fields inherited from interface choco.integer.IntDomainVar

BOUNDS, LIST

Constructor Summary

JumpIntVar(AbstractProblem pb, java.lang.String name, int[] sortedValues)

JumpIntVar(AbstractProblem pb, java.lang.String name, int domainType, int inf, int sup)

Method Summary

int[]	getAllValues()
boolean	instantiate(int value, int idx, Explanation e)
boolean	removeVal(int value, int idx, Explanation e)
void	self_explain(int select, 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 class choco.integer.var.IntDomainVarImpl

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

Methods inherited from class choco.AbstractVar

addConstraint, eraseConstraint, getConstraint, getConstraintsIterator, getConstraintVector, getEvent, getIndexVector, getNbConstraints, getVarIndex

Methods inherited from class choco.AbstractEntity

getProblem

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

Constructor Detail

JumpIntVar

public JumpIntVar(AbstractProblem pb,
                  java.lang.String name,
                  int domainType,
                  int inf,
                  int sup)

JumpIntVar

public JumpIntVar(AbstractProblem pb,
                  java.lang.String name,
                  int[] sortedValues)

Method Detail

self_explain

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

Specified by:

self_explain in interface ExplainedIntVar

self_explain

public void self_explain(int select,
                         Explanation e)

Specified by:

self_explain in interface ExplainedVar

updateInf

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

Specified by:

updateInf in interface ExplainedIntVar

Throws:

ContradictionException

updateSup

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

Specified by:

updateSup in interface ExplainedIntVar

Throws:

ContradictionException

removeVal

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

Specified by:

removeVal in interface ExplainedIntVar

Throws:

ContradictionException

instantiate

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

Specified by:

instantiate in interface ExplainedIntVar

Throws:

ContradictionException

getAllValues

public int[] getAllValues()

Specified by:

getAllValues in interface ExplainedIntVar