71 struct clause  struct
76   /* Initialize a clause with an initial term.  */  argument
78   clause (tree t)  in clause()  argument
91   clause (clause const& c)  in clause()  argument
114      clause, remove but do not replace ITER. Returns a pair  argument
133      the clause, no action is taken, and the current iterator  argument
138   std::pair<iterator, bool> insert (iterator iter, tree t)  in insert()
152   void replace (tree t)  in replace()
177   /* Returns true if the clause contains the term T.  */  argument
186   /* Returns an iterator to the first clause in the formula.  */  argument
193   /* Returns an iterator to the first clause in the formula.  */  argument
200   /* Returns an iterator past the last clause in the formula.  */  argument
207   /* Returns an iterator past the last clause in the formula.  */  argument
209   const_iterator end () const  in end()
233   typedef std::list<clause>::iterator iterator;  argument