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;
8 public final static int CONSEQUENCE=5;
10 ConsequenceNode conseqnode;
14 AbstractRepair repair;
16 MultUpdateNode update;
17 boolean quantifiernode=false;
19 public void setquantifiernode() {
23 public boolean getquantifiernode() {
24 return quantifiernode;
28 public int getType() {
32 public TermNode(Constraint constr, Conjunction conj) {
38 public TermNode(AbstractRepair ar) {
43 public TermNode(ConsequenceNode cn) {
48 public TermNode(ScopeNode sn) {
53 public TermNode(MultUpdateNode un) {
58 public ConsequenceNode getConsequence() {
59 if (type!=CONSEQUENCE)
60 throw new Error("Not Consequence Node!");
65 public Conjunction getConjunction() {
66 if (type!=CONJUNCTION)
67 throw new Error("Not Conjunction Node!");
72 public Constraint getConstraint() {
73 if (type!=CONJUNCTION)
74 throw new Error("Not Conjunction Node!");
79 public MultUpdateNode getUpdate() {
81 throw new Error("Not Update Node!");
86 public ScopeNode getScope() {
88 throw new Error("Not Scope Node!");
93 public AbstractRepair getAbstract() {
95 throw new Error("Not Abstract Repair Node!");