Searched defs:m_ineqs (Results 1 – 8 of 8) sorted by relevance
31 app_ref_vector m_ineqs; variable
90 vector<num_vector> m_ineqs; // set of asserted inequalities variable
24 #page-description {
72 vector<ineq> m_ineqs; variable
21 mutable matrix m_ineqs; member in datalog::karr_relation