src/jrummikub/ai/fdsolver/Constraint.java


1
2
3
4
5
6
7
8
9
10
11

package jrummikub.ai.fdsolver;

import java.util.Collection;

public interface Constraint {
	public Collection<Var<?>> getWatchedVars();

	public Collection<Propagator> getPropagators(boolean negate);

	public Satisfiability getSatisfiability();
}