Lines Matching defs:elements
30 public ArrayList<WnnClause> elements;
47 this.elements = clauses;
90 this.elements = new ArrayList<WnnClause>();
91 this.elements.add(clause);
108 this.elements = new ArrayList<WnnClause>();
109 this.elements.addAll(prev.elements);
110 this.elements.add(clause);
128 this.elements = new ArrayList<WnnClause>();
129 this.elements.add(head);
139 this.elements = new ArrayList<WnnClause>();
140 this.elements.add(head);
141 this.elements.addAll(tail.elements);
