choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.precedences
Class Precedences

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
      extended by choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.precedences.Precedences

public class Precedences
extends AbstractPropagator


Field Summary
 
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
 
Constructor Summary
Precedences(Object[] params)
           
 
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 choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
applyConstraint
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Precedences

public Precedences(Object[] params)
Method Detail

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.