4 public class Conjunction {
7 public Conjunction(DNFPredicate pred) {
8 predicates=new Vector();
11 Conjunction(Vector preds){
16 for(int i=0;i<predicates.size();i++) {
17 name+=((DNFPredicate)predicates.get(i)).name();
18 if (i!=(predicates.size()-1))
24 return predicates.size();
27 DNFPredicate get(int i) {
28 return (DNFPredicate) predicates.get(i);
31 void add(DNFPredicate dp) {
35 public Conjunction append(Conjunction c) {
36 Conjunction copy=copy();
37 for(int i=0;i<c.size();i++) {
38 copy.add(new DNFPredicate(c.get(i)));
43 public Conjunction copy() {
44 Vector vector=new Vector();
45 for (int i=0;i<size();i++) {
46 DNFPredicate dp=get(i);
47 vector.add(new DNFPredicate(dp));
49 return new Conjunction(vector);