Searched defs:m_clauses (Results 1 – 2 of 2) sorted by relevance
295 std::list<clause> m_clauses; /* The list of clauses. */ member
305 std::list<clause> m_clauses; /* The list of clauses. */ member