choco.cp.solver.constraints.strong.maxrpcrm
Class MaxRPCConstraintLight
java.lang.Object
choco.cp.solver.constraints.strong.SCConstraint
choco.cp.solver.constraints.strong.maxrpcrm.AbstractMaxRPCConstraint
choco.cp.solver.constraints.strong.maxrpcrm.MaxRPCConstraintLight
public class MaxRPCConstraintLight
- extends AbstractMaxRPCConstraint
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
-
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.