src/jrummikub/ai/fdsolver/Constraint.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

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();
	
	public boolean isSatisfiable() {
		return getSatisfiability() != Satisfiability.UNSAT;
	}
}