ScopeNode scope;
MultUpdateNode update;
+ public int getType() {
+ return type;
+ }
+
public TermNode(Constraint constr, Conjunction conj) {
this.constr=constr;
this.conj=conj;
return conj;
}
+ public Constraint getConstraint() {
+ if (type!=CONJUNCTION)
+ throw new Error("Not Conjunction Node!");
+ else
+ return constr;
+ }
+
public MultUpdateNode getUpdate() {
if (type!=UPDATE)
throw new Error("Not Update Node!");