Searched refs:y_gs (Results 1 – 3 of 3) sorted by relevance
1645 add_generator(y_gs[j]); in BHZ09_C_poly_hull_assign_if_exact()1705 const Generator& y_gs_i = y_gs[i]; in BHZ09_NNC_poly_hull_assign_if_exact()1810 const Generator& y_p = y_gs[i]; in BHZ09_NNC_poly_hull_assign_if_exact()1869 add_generator(y_gs[j]); in BHZ09_NNC_poly_hull_assign_if_exact()1879 ub.add_generator(y_gs[j]); in BHZ09_NNC_poly_hull_assign_if_exact()1922 const Generator& y_cp = y_gs[j]; in BHZ09_NNC_poly_hull_assign_if_exact()2153 const Generator& y_g = y_gs[j]; in BFT00_poly_hull_assign_if_exact()2224 add_generator(y_gs[j]); in BFT00_poly_hull_assign_if_exact()2440 Generator_System y_gs; in positive_time_elapse_assign_impl() local2444 y_gs = y.gen_sys; in positive_time_elapse_assign_impl()[all …]
2222 const Generator_System& y_gs = y.gen_sys; in simplify_using_context_assign() local2230 if (y_gs.satisfied_by_all_generators(x_cs[i])) { in simplify_using_context_assign()2300 for (Generator_System::const_iterator k = y_gs.begin(), in simplify_using_context_assign()2301 y_gs_end = y_gs.end(); k != y_gs_end; ++k) { in simplify_using_context_assign()
1819 const Grid_Generator_System& y_gs = y.gen_sys; in simplify_using_context_assign() local1821 for (Grid_Generator_System::const_iterator k = y_gs.begin(), in simplify_using_context_assign()1822 y_gs_end = y_gs.end(); k != y_gs_end; ++k) { in simplify_using_context_assign()