4 public class RuleConjunction {
7 public RuleConjunction(DNFExpr pred) {
8 predicates=new Vector();
11 RuleConjunction(Vector preds){
16 return predicates.size();
20 return (DNFExpr) predicates.get(i);
23 void add(DNFExpr dp) {
27 public RuleConjunction append(RuleConjunction c) {
28 RuleConjunction copy=copy();
29 for(int i=0;i<c.size();i++) {
30 copy.add(new DNFExpr(c.get(i)));
35 public RuleConjunction copy() {
36 Vector vector=new Vector();
37 for (int i=0;i<size();i++) {
39 vector.add(new DNFExpr(dp));
41 return new RuleConjunction(vector);