package jrummikub.ai.fdsolver;

import java.util.Collection;

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

	public Collection<Propagator> getPropagators(boolean negate);

	public Satisfiability getSatisfiability();
}