5 public abstract class Predicate extends LogicStatement {
6 protected Predicate() {}
7 public DNFConstraint constructDNF() {
8 return new DNFConstraint(this);
10 abstract public int[] getRepairs(boolean negated, Termination t);
11 abstract public Descriptor getDescriptor();
12 abstract public boolean inverted();
13 public boolean usesDescriptor(Descriptor rd) {