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

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.MaxRPCConstraintFull

public class MaxRPCConstraintFull
extends AbstractMaxRPCConstraint


Field Summary
 
Fields inherited from class choco.cp.solver.constraints.strong.maxrpcrm.AbstractMaxRPCConstraint
cliques, scope
 
Constructor Summary
MaxRPCConstraintFull(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()
           
 boolean revise(int position)
          Propagation d'un arc (Contrainte, Variable, Valeur)
 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

MaxRPCConstraintFull

public MaxRPCConstraintFull(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, Valeur)

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

revisePC

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


Copyright © 2012. All Rights Reserved.