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