Modifier and Type | Method and Description |
---|---|
void |
filter(IntVar[] vars,
UndirectedGraph graph,
F heur,
Propagator aCause) |
void filter(IntVar[] vars, UndirectedGraph graph, F heur, Propagator aCause) throws ContradictionException
ContradictionException
Copyright © 2018. All rights reserved.