src/jrummikub/ai/fdsolver/Constraint.java


1
2
3
4
5
6
7
8
9
10
11
12
13

package jrummikub.ai.fdsolver;

import java.util.Collection;

public abstract class Constraint {
	Collection<Propagator> cachedPropagators;
	
	public abstract Collection<Var<?>> getWatchedVars();

	public abstract Collection<Propagator> getPropagators(boolean negate);

	public abstract Satisfiability getSatisfiability();
}