blob: a046324f482a4432481b4d88aa30f040d016e41b (
plain)
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;
}
}
|