|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Var
Interface for all implementations of domain variables.
Field Summary | |
---|---|
static Logger |
LOGGER
Reference to an object for logging trace statements related to IntDomainVar (using the java.util.logging package) |
Method Summary | |
---|---|
int |
addConstraint(SConstraint c,
int varIdx,
boolean dynamicAddition)
Adds a new listener for the variable, that is a constraint which should be informed as soon as the variable domain is modified. |
SConstraint |
getConstraint(int i)
Returns the i th constraint. |
DisposableIterator<SConstraint> |
getConstraintsIterator()
This methods should be used if one want to access the different constraints currently posted on this variable. |
PartiallyStoredVector<? extends SConstraint> |
getConstraintVector()
access the data structure storing constraints involving a given variable |
VarEvent<? extends Var> |
getEvent()
returns the object used by the propagation engine to model a propagation event associated to the variable (an update to its domain) |
PartiallyStoredIntVector |
getIndexVector()
access the data structure storing indices associated to constraints involving a given variable |
String |
getName()
|
int |
getNbConstraints()
Returns the number of listeners involving the variable. |
int |
getPriority()
Return the priority of this according to the related constraints (minimum over all constraints priority) |
int |
getVarIndex(int constraintIndex)
returns the index of the variable in it i-th constraint |
boolean |
isInstantiated()
Public user API: Domains : testing whether a variable is instantiated or not. |
Methods inherited from interface choco.IPretty |
---|
pretty |
Methods inherited from interface choco.kernel.common.IIndex |
---|
getIndex |
Methods inherited from interface choco.IExtensionnable |
---|
addExtension, getExtension |
Field Detail |
---|
static final Logger LOGGER
Method Detail |
---|
String getName()
int getNbConstraints()
SConstraint getConstraint(int i)
i
th constraint. i
should be more than or equal to 0, and less or equal to
the number of constraint minus 1.
i
- number of constraint to be returned
int getVarIndex(int constraintIndex)
constraintIndex
- the index of the constraint (among all constraints linked to the variable)
PartiallyStoredVector<? extends SConstraint> getConstraintVector()
PartiallyStoredIntVector getIndexVector()
boolean isInstantiated()
int addConstraint(SConstraint c, int varIdx, boolean dynamicAddition)
c
- the constraint to addvarIdx
- index of the variabledynamicAddition
- dynamical addition or not
VarEvent<? extends Var> getEvent()
DisposableIterator<SConstraint> getConstraintsIterator()
int getPriority()
this
according to the related constraints (minimum over all constraints priority)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |