choco.integer
Interface IntVar

All Superinterfaces:

Entity, IntExp, Var

All Known Subinterfaces:

ExplainedIntVar, IntDomainVar

All Known Implementing Classes:

IntDomainVarImpl, JumpIntVar, PalmIntVar

public interface IntVar
extends Var, IntExp

Method Summary

Methods inherited from interface choco.Var

addConstraint, fail, getConstraint, getConstraintsIterator, getConstraintVector, getEvent, getIndexVector, getNbConstraints, getVarIndex, isInstantiated

Methods inherited from interface choco.Entity

getProblem, pretty