Searched defs:cl_b (Results 1 – 4 of 4) sorted by relevance
152 const Clause& cl_b = *solver->cl_alloc.ptr(b.ws.get_offset()); in remove_duplicates_from_m_cls() local
1788 SLang_Class_Type *cl_a, *cl_b; in do_binary_ab_inc_ref() local1945 SLang_Class_Type *cl, *cl_a, *cl_b; in do_binary_ab_inc_ref_assign() local2120 SLang_Class_Type *cl_a, *cl_b; in do_binary_b_inc_ref() local
173 struct descr cl_b[1]; member