Module org.chocosolver

Package org.chocosolver.solver.constraints.nary.nvalue.amnv.rules

Interface R

All Known Implementing Classes:

R1, R2, R3, R4

public interface R

Interface to represent a filtering rule

Since:

01/01/2014

Author:

Jean-Guillaume Fages

Method Summary

Modifier and Type	Method	Description
void	filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause)

Method Detail

filter

void filter(IntVar[] vars,
            UndirectedGraph graph,
            F heur,
            Propagator aCause)
     throws ContradictionException

Throws:

ContradictionException