Searched refs:has_equalities (Results 1 – 5 of 5) sorted by relevance
189 bool has_equalities() const;
101 PPL::Constraint_System::has_equalities() const { in has_equalities() function in PPL::Constraint_System
37 if (cs_in.has_strict_inequalities() || cs_in.has_equalities()) { in assign_all_inequalities_approximation()71 if (ph_cs.has_equalities()) { in assign_all_inequalities_approximation()
43381 bool has_equalities() const;
20356 method bool Constraint_System::has_equalities() const.