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, getConstraintVector, getEvent, getIndexVector, getNbConstraints, getVarIndex, isInstantiated

Methods inherited from interface choco.Entity

getProblem, pretty