choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.precedences
Class Precedences
java.lang.Object
choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.precedences.Precedences
public class Precedences
- extends AbstractPropagator
Fields inherited from class choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator |
affiche, condPrecs, costStruct, doms, incomp, indices, inputGraph, LOGGER, nbVertices, nodes, precs, propagateStruct, solver, struct, tree |
Method Summary |
boolean |
feasibility()
check the compatibility between the graph and the precedence constraints |
void |
filter()
filtering rules related to the interaction between the graph to partition and the precedence constraints. |
String |
getTypePropag()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Precedences
public Precedences(Object[] params)
getTypePropag
public String getTypePropag()
- Specified by:
getTypePropag
in class AbstractPropagator
feasibility
public boolean feasibility()
- check the compatibility between the graph and the precedence constraints
- Specified by:
feasibility
in class AbstractPropagator
- Returns:
true
iff the precedence constraints are consistent with the graph
filter
public void filter()
throws ContradictionException
- filtering rules related to the interaction between the graph to partition and the precedence constraints.
For details, see the Constraint'08 paper.
- Specified by:
filter
in class AbstractPropagator
- Throws:
ContradictionException
Copyright © 2012. All Rights Reserved.