choco.cp.solver.constraints.strong.maxrpcrm
Class Clique

java.lang.Object
  extended by choco.cp.solver.constraints.strong.maxrpcrm.Clique

public class Clique
extends Object


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

Clique

public 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. c0[c0Position] et c1[c1Position] doivent identifier la même variable

Parameters:
homeConstraint - Contrainte « principale » de la 3-clique
c0 - Contrainte gauche
c0Position - Position de la 3e variable dans la contrainte gauche
c1 - Contrainte droite
c1Position - Position de la 3e variable dans la contrainte droite
Method Detail

getVariable

public MaxRPCVariable getVariable()

getC0

public AbstractMaxRPCConstraint getC0()

getC1

public AbstractMaxRPCConstraint getC1()

getC0Position

public int getC0Position()

getC1Position

public int getC1Position()

getHomeConstraint

public AbstractMaxRPCConstraint getHomeConstraint()

findPCSupport

public 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

Parameters:
v0 -
v1 -
Returns:
Le premier support trouvé

checkLast

public 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

Parameters:
position -
value -
Returns:

getLast

public int getLast(int position,
                   int value)

setLast

public void setLast(int position,
                    int value,
                    int support)

check

public boolean check(int position,
                     int value,
                     int pcSupport)
Contrôle si le tuple (value, pcSupport) satisfait la contrainte numérotée position

Parameters:
position -
value -
pcSupport -
Returns:


Copyright © 2012. All Rights Reserved.