choco.palm.dbt
Interface PalmVar

All Superinterfaces:

Entity, ExplainedVar, Var

All Known Subinterfaces:

PalmRealVar

All Known Implementing Classes:

PalmIntVar, PalmRealVarImpl

public interface PalmVar
extends ExplainedVar

Method Summary

Constraint

getDecisionConstraint(int val) Returns the decision constraint for the ith branch on the current domain.

Methods inherited from interface choco.palm.ExplainedVar

self_explain

Methods inherited from interface choco.Var

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

Methods inherited from interface choco.Entity

getProblem, pretty

Method Detail

getDecisionConstraint

Constraint getDecisionConstraint(int val)

Returns the decision constraint for the ith branch on the current domain.