choco.cp.solver.constraints.strong.maxrpcrm
Class AbstractMaxRPCConstraint
java.lang.Object
choco.cp.solver.constraints.strong.SCConstraint
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
|
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
AbstractMaxRPCConstraint
public AbstractMaxRPCConstraint(ISpecializedConstraint sConstraint,
Map<IntDomainVar,SCVariable> pool)
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.