|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.constraints.strong.maxrpcrm.Clique
public class Clique
Constructor Summary | |
---|---|
Clique(AbstractMaxRPCConstraint homeConstraint,
AbstractMaxRPCConstraint c0,
int c0Position,
AbstractMaxRPCConstraint c1,
int c1Position,
boolean useSupports)
Crée la 3-clique et met à jour la liste des 3-cliques de la 3e variable. |
Method Summary | |
---|---|
boolean |
check(int position,
int value,
int pcSupport)
Contrôle si le tuple (value, pcSupport) satisfait la contrainte numérotée position |
boolean |
checkLast(int position,
int value)
Contrôle si le dernier support de value est présent dans le domaine de la variable et que la valeur est compatible avec la seconde contrainte |
int |
findPCSupport(int position,
int v0,
int v1)
Cherche un support chemin-consistant pour le couple (v0, v1). v0 correspond à la contrainte c0 indiquée à la construction de la 3-clique |
AbstractMaxRPCConstraint |
getC0()
|
int |
getC0Position()
|
AbstractMaxRPCConstraint |
getC1()
|
int |
getC1Position()
|
AbstractMaxRPCConstraint |
getHomeConstraint()
|
int |
getLast(int position,
int value)
|
MaxRPCVariable |
getVariable()
|
void |
setLast(int position,
int value,
int support)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Clique(AbstractMaxRPCConstraint homeConstraint, AbstractMaxRPCConstraint c0, int c0Position, AbstractMaxRPCConstraint c1, int c1Position, boolean useSupports)
homeConstraint
- Contrainte « principale » de la 3-cliquec0
- Contrainte gauchec0Position
- Position de la 3e variable dans la contrainte gauchec1
- Contrainte droitec1Position
- Position de la 3e variable dans la contrainte droiteMethod Detail |
---|
public MaxRPCVariable getVariable()
public AbstractMaxRPCConstraint getC0()
public AbstractMaxRPCConstraint getC1()
public int getC0Position()
public int getC1Position()
public AbstractMaxRPCConstraint getHomeConstraint()
public int findPCSupport(int position, int v0, int v1)
v0
- v1
-
public boolean checkLast(int position, int value)
position
- value
-
public int getLast(int position, int value)
public void setLast(int position, int value, int support)
public boolean check(int position, int value, int pcSupport)
position
- value
- pcSupport
-
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |