blob: dfe720a67f0645ee999c260dfa58e14d59f79f85 (
plain)
1
2
3
4
5
6
7
8
9
|
package jrummikub.ai.fdsolver;
import java.util.Collection;
public interface Propagator {
public abstract Collection<Var<?>> getWatchedVars();
public abstract void propagate();
}
|