Searched refs:m_set (Results 1 – 3 of 3) sorted by relevance
67 m_set.add (t); in clause()77 : m_terms (c.m_terms), m_set (c.m_set), m_current (m_terms.begin ()) in clause()109 if (m_set.add (t)) in replace()127 if (m_set.add (t)) in insert()167 return m_set.contains (t); in contains()207 hash_set<tree, false, atom_hasher> m_set; /* The set of atomic constraints. */ member
1254 (clause::m_set): Adjust accordingly.
82 m_set.add (t); in clause()92 : m_terms (c.m_terms), m_set (c.m_set), m_current (m_terms.begin ()) in clause()124 if (m_set.add (t)) in replace()142 if (m_set.add (t)) in insert()182 return m_set.contains (t); in contains()222 hash_set<tree, false, constraint_hash> m_set; /* The set of atomic constraints. */ member