package jrummikub.ai.fdsolver; import java.util.Collection; public interface Propagator { public abstract Collection> getWatchedVars(); public abstract void propagate(); }