Searched refs:ph_cs (Results 1 – 6 of 6) sorted by relevance
70 const Constraint_System& ph_cs = ph.minimized_constraints(); in assign_all_inequalities_approximation() local71 if (ph_cs.has_equalities()) { in assign_all_inequalities_approximation()73 for (Constraint_System::const_iterator i = ph_cs.begin(), in assign_all_inequalities_approximation()74 i_end = ph_cs.end(); i != i_end; ++i) { in assign_all_inequalities_approximation()90 cs = ph_cs; in assign_all_inequalities_approximation()
404 const Constraint_System& ph_cs = ph.constraints(); in Box() local405 if (!ph_cs.has_strict_inequalities()) { in Box()406 lp.add_constraints(ph_cs); in Box()410 for (Constraint_System::const_iterator i = ph_cs.begin(), in Box()411 ph_cs_end = ph_cs.end(); i != ph_cs_end; ++i) { in Box()
256 const Constraint_System& ph_cs = ph.constraints(); in BD_Shape() local257 if (!ph_cs.has_strict_inequalities()) { in BD_Shape()258 lp.add_constraints(ph_cs); in BD_Shape()262 for (Constraint_System::const_iterator i = ph_cs.begin(), in BD_Shape()263 ph_cs_end = ph_cs.end(); i != ph_cs_end; ++i) { in BD_Shape()
98 const Constraint_System& ph_cs = ph.constraints(); in Octagonal_Shape() local99 if (!ph_cs.has_strict_inequalities()) { in Octagonal_Shape()100 lp.add_constraints(ph_cs); in Octagonal_Shape()104 for (Constraint_System::const_iterator i = ph_cs.begin(), in Octagonal_Shape()105 ph_cs_end = ph_cs.end(); i != ph_cs_end; ++i) { in Octagonal_Shape()
71152 const Constraint_System& ph_cs = ph.constraints();71153 if (!ph_cs.has_strict_inequalities()) {71154 lp.add_constraints(ph_cs);71159 ph_cs_end = ph_cs.end(); i != ph_cs_end; ++i) {80803 const Constraint_System& ph_cs = ph.constraints();80804 if (!ph_cs.has_strict_inequalities()) {80805 lp.add_constraints(ph_cs);80810 ph_cs_end = ph_cs.end(); i != ph_cs_end; ++i) {88023 const Constraint_System& ph_cs = ph.constraints();88024 if (!ph_cs.has_strict_inequalities()) {[all …]
1384 const PPL::Constraint_System& ph_cs = ph.constraints(); in main() local1385 for (PPL::Constraint_System::const_iterator i = ph_cs.begin(), in main()1386 ph_cs_end = ph_cs.end(); i != ph_cs_end; ++i) { in main()