|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface SConstraint<V extends Var>
Field Summary | |
---|---|
static Logger |
LOGGER
Reference to an object for logging trace statements related to constraints over integers (using the java.util.logging package) |
Method Summary | |
---|---|
int |
getConstraintIdx(int idx)
Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c. |
SConstraintType |
getConstraintType()
Return the type of constraint, ie the type of variable involved in the constraint |
int |
getFineDegree(int idx)
Some global constraint might be able to provide some fine grained information about the "real" degree of a variables. |
int |
getNbVars()
Network management: Get the number of variables involved in the constraint. |
V |
getVar(int i)
Network management: Accessing the ith variable of a constraint. |
V |
getVarQuick(int i)
Network management: Accessing the ith variable of a constraint. |
boolean |
isSatisfied()
Semantic: Testing if the constraint is satisfied. |
AbstractSConstraint<V> |
opposite(Solver solver)
computes the constraint modelling the counter-opposite condition of this |
void |
setConstraintIndex(int i,
int idx)
Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx. |
void |
setVar(int i,
V v)
Network management: Setting (or overwriting) the ith variable of a constraint. |
Methods inherited from interface choco.IPretty |
---|
pretty |
Methods inherited from interface choco.IExtensionnable |
---|
addExtension, getExtension |
Field Detail |
---|
static final Logger LOGGER
Method Detail |
---|
int getNbVars()
V getVar(int i)
i
- index of the variable in the constraint
V getVarQuick(int i)
i
- index of the variable in the constraint
void setVar(int i, V v)
i
- index of the variable in the constraintv
- the variable (may be an IntDomainVar, SetVar, RealVar, ...boolean isSatisfied()
AbstractSConstraint<V> opposite(Solver solver)
solver
- the current solver
void setConstraintIndex(int i, int idx)
i
- index of the variable in the constraintidx
- index of the constraint in the among all listeners linked to that variableint getConstraintIdx(int idx)
idx
- index of the variable in the constraint
SConstraintType getConstraintType()
int getFineDegree(int idx)
idx
- index of the variable in the constraint
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |