Repair/RepairCompiler/MCC/IR/Predicate.java

   1 package MCC.IR;
   2
   3 import java.util.*;
   4
   5 public abstract class Predicate extends LogicStatement {
   6     protected Predicate() {}
   7     public DNFConstraint constructDNF() {
   8         return new DNFConstraint(this);
   9     }
  10     abstract public int[] getRepairs(boolean negated, Termination t);
  11     abstract public Descriptor getDescriptor();
  12     abstract public boolean inverted();
  13     public boolean usesDescriptor(RelationDescriptor rd) {
  14         return false;}
  15 }
  16