Searched defs:is_attached_to (Results 1 – 3 of 3) sorted by relevance
235 inline bool thread_data::is_attached_to(arena* a) { return my_arena == a; } in is_attached_to() function
215 bool is_attached_to(theory_id id) const { return get_th_var(id) != null_theory_var; } in is_attached_to() function
283 bool Element::is_attached_to(Element const *elt) in is_attached_to() function in Element