Home
last modified time | relevance | path

Searched refs:has_equalities (Results 1 – 5 of 5) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DConstraint_System_defs.hh189 bool has_equalities() const;
H A DConstraint_System.cc101 PPL::Constraint_System::has_equalities() const { in has_equalities() function in PPL::Constraint_System
H A Dtermination.cc37 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()
H A Dppl.hh.dist43381 bool has_equalities() const;
/dports/devel/ppl/ppl-1.2/
H A DChangeLog20356 method bool Constraint_System::has_equalities() const.