Searched refs:integer_upper_bound_assign_if_exact (Results 1 – 9 of 9) sorted by relevance
39 ok &= bds.integer_upper_bound_assign_if_exact(bds_empty); in test01()45 ok &= bds.integer_upper_bound_assign_if_exact(bds_universe); in test01()51 ok &= bds.integer_upper_bound_assign_if_exact(bds_empty); in test01()57 ok &= bds.integer_upper_bound_assign_if_exact(bds_universe); in test01()87 bool ok = !bds1.integer_upper_bound_assign_if_exact(bds2); in test02()123 bool ok = bds1.integer_upper_bound_assign_if_exact(bds2); in test03()153 bool ok = bds1.integer_upper_bound_assign_if_exact(bds2); in test04()182 bool ok = !bds1.integer_upper_bound_assign_if_exact(bds2); in test05()208 bool ok = !bds1.integer_upper_bound_assign_if_exact(bds2); in test06()260 bool ok = bds1.integer_upper_bound_assign_if_exact(bds2); in test08()[all …]
39 ok &= oct.integer_upper_bound_assign_if_exact(oct_empty); in test01()45 ok &= oct.integer_upper_bound_assign_if_exact(oct_universe); in test01()51 ok &= oct.integer_upper_bound_assign_if_exact(oct_empty); in test01()57 ok &= oct.integer_upper_bound_assign_if_exact(oct_universe); in test01()87 bool ok = !oct1.integer_upper_bound_assign_if_exact(oct2); in test02()123 bool ok = oct1.integer_upper_bound_assign_if_exact(oct2); in test03()153 bool ok = oct1.integer_upper_bound_assign_if_exact(oct2); in test04()260 bool ok = oct1.integer_upper_bound_assign_if_exact(oct2); in test08()295 bool ok = oct1.integer_upper_bound_assign_if_exact(oct2); in test09()401 bool ok = oct1.integer_upper_bound_assign_if_exact(oct2) in test12()[all …]
400 bool ok = oct1.integer_upper_bound_assign_if_exact(oct2) in test12()
1168 bool integer_upper_bound_assign_if_exact(const Octagonal_Shape& y);
1181 bool integer_upper_bound_assign_if_exact(const BD_Shape& y);
766 BD_Shape<T>::integer_upper_bound_assign_if_exact(const BD_Shape& y) { in integer_upper_bound_assign_if_exact() function in Parma_Polyhedra_Library::BD_Shape
7797 ::integer_upper_bound_assign_if_exact(const Octagonal_Shape& y) { in integer_upper_bound_assign_if_exact() function in Parma_Polyhedra_Library::Octagonal_Shape
63832 bool integer_upper_bound_assign_if_exact(const BD_Shape& y);68351 bool integer_upper_bound_assign_if_exact(const Octagonal_Shape& y);78851 ::integer_upper_bound_assign_if_exact(const Octagonal_Shape& y) {78854 "integer_upper_bound_assign_if_exact(y):"78861 throw_dimension_incompatible("integer_upper_bound_assign_if_exact(y)", y);80390 BD_Shape<T>::integer_upper_bound_assign_if_exact(const BD_Shape& y) {80392 "BD_Shape<T>::integer_upper_bound_assign_if_exact(y):"80395 throw_dimension_incompatible("integer_upper_bound_assign_if_exact(y)", y);
26692 named integer_upper_bound_assign_if_exact; they can only be