Searched refs:lt_var_proc (Results 1 – 4 of 4) sorted by relevance
63 …struct lt_var_proc { bool operator()(ineq const * a, ineq const * b) const { return a->m_x < b->m_… in operator() argument
824 std::stable_sort(c->m_atoms, c->m_atoms + sz, typename ineq::lt_var_proc()); in add_clause_core()
63 …struct lt_var_proc { bool operator()(ineq const * a, ineq const * b) const { return a->m_x < b->m_… in operator() struct