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

java.lang.Object
  extended by choco.cp.solver.constraints.strong.SCConstraint
      extended by choco.cp.solver.constraints.strong.maxrpcrm.AbstractMaxRPCConstraint
Direct Known Subclasses:
MaxRPCConstraintFull, MaxRPCConstraintLight

public abstract class AbstractMaxRPCConstraint
extends SCConstraint


Field Summary
protected  Clique[] cliques
          Toutes les 3-cliques où apparaissent cette contrainte (à initialiser avec compute3Cliques une fois que toutes les contraintes sont créées et liées aux variables)
protected  MaxRPCVariable[] scope
           
 
Constructor Summary
AbstractMaxRPCConstraint(ISpecializedConstraint sConstraint, Map<IntDomainVar,SCVariable> pool)
           
 
Method Summary
abstract  void compute3Cliques()
           
protected  void compute3Cliques(boolean useSupports)
           
 int getNbCliques()
           
 MaxRPCVariable getVariable(int position)
           
abstract  boolean revise(int position)
           
abstract  boolean revisePC(Clique clique, int position)
           
 
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
 

Field Detail

cliques

protected Clique[] cliques
Toutes les 3-cliques où apparaissent cette contrainte (à initialiser avec compute3Cliques une fois que toutes les contraintes sont créées et liées aux variables)


scope

protected final MaxRPCVariable[] scope
Constructor Detail

AbstractMaxRPCConstraint

public AbstractMaxRPCConstraint(ISpecializedConstraint sConstraint,
                                Map<IntDomainVar,SCVariable> pool)
Method Detail

compute3Cliques

public abstract void compute3Cliques()

compute3Cliques

protected void compute3Cliques(boolean useSupports)

getNbCliques

public int getNbCliques()

getVariable

public MaxRPCVariable getVariable(int position)
Overrides:
getVariable in class SCConstraint

revise

public abstract boolean revise(int position)
                        throws ContradictionException
Throws:
ContradictionException

revisePC

public abstract boolean revisePC(Clique clique,
                                 int position)
                          throws ContradictionException
Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.