4 public final static int CONJUNCTION=1;
5 public final static int ABSTRACT=2;
6 public final static int UPDATE=3;
7 public final static int RULESCOPE=4;
13 AbstractRepair repair;
17 public TermNode(Constraint constr, Conjunction conj) {
23 public TermNode(AbstractRepair ar) {
28 public TermNode(ScopeNode sn) {
33 public Conjunction getConjunction() {
34 if (type!=CONJUNCTION)
35 throw new Error("Not Conjunction Node!");
40 public AbstractRepair getAbstract() {
42 throw new Error("Not Abstract Repair Node!");