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

java.lang.Object
  extended by choco.cp.solver.constraints.strong.SCConstraint
      extended by choco.cp.solver.constraints.strong.maxrpcrm.AbstractMaxRPCConstraint
          extended by choco.cp.solver.constraints.strong.maxrpcrm.MaxRPCConstraintLight

public class MaxRPCConstraintLight
extends AbstractMaxRPCConstraint


Field Summary
 
Fields inherited from class choco.cp.solver.constraints.strong.maxrpcrm.AbstractMaxRPCConstraint
cliques, scope
 
Constructor Summary
MaxRPCConstraintLight(ISpecializedConstraint intSConstraint, Map<IntDomainVar,SCVariable> variablesMap)
          Implémentation de la contrainte utilisant des résidus pour les supports PC construction de la liste des résidus PC à partir d'un tableau prégénéré
 
Method Summary
 void compute3Cliques()
           
protected  boolean pConsistent(int position, int a, int b)
           
 boolean revise(int position)
          Propagation d'un arc (Contrainte, Variable)
 boolean revisePC(Clique clique, int position)
           
 
Methods inherited from class choco.cp.solver.constraints.strong.maxrpcrm.AbstractMaxRPCConstraint
compute3Cliques, getNbCliques, getVariable
 
Methods inherited from class choco.cp.solver.constraints.strong.SCConstraint
check, firstSupport, getArity, getSConstraint, getWeight, increaseWeight, nextSupport, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MaxRPCConstraintLight

public MaxRPCConstraintLight(ISpecializedConstraint intSConstraint,
                             Map<IntDomainVar,SCVariable> variablesMap)
Implémentation de la contrainte utilisant des résidus pour les supports PC construction de la liste des résidus PC à partir d'un tableau prégénéré

Parameters:
intSConstraint -
variablesMap -
Method Detail

compute3Cliques

public void compute3Cliques()
Specified by:
compute3Cliques in class AbstractMaxRPCConstraint

revise

public boolean revise(int position)
               throws ContradictionException
Propagation d'un arc (Contrainte, Variable)

Specified by:
revise in class AbstractMaxRPCConstraint
Parameters:
constraint -
position - la position de la variable dans la contrainte
Throws:
ContradictionException

pConsistent

protected boolean pConsistent(int position,
                              int a,
                              int b)

revisePC

public boolean revisePC(Clique clique,
                        int position)
Specified by:
revisePC in class AbstractMaxRPCConstraint


Copyright © 2012. All Rights Reserved.