| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Scalar_Products_inlines.hh | 79 PPL_ASSERT(!c.is_necessarily_closed()); in reduced_sign()
87 PPL_ASSERT(!c.is_necessarily_closed()); in reduced_sign()
128 : sps_fp(c.is_necessarily_closed() in Topology_Adjusted_Scalar_Product_Sign()
136 : sps_fp(g.is_necessarily_closed() in Topology_Adjusted_Scalar_Product_Sign()
145 PPL_ASSERT(sps_fp == (c.is_necessarily_closed() in operator ()()
155 PPL_ASSERT(sps_fp == (g.is_necessarily_closed() in operator ()()
|
| H A D | Polyhedron_public.cc | 128 if (is_necessarily_closed()) { in minimized_constraints()
184 if (!is_necessarily_closed() in generators()
196 if (is_necessarily_closed()) { in minimized_generators()
492 if (is_necessarily_closed()) { in is_universe()
1405 if (g.is_necessarily_closed() || !is_necessarily_closed()) { in add_generator()
1442 if (g.is_necessarily_closed() || !is_necessarily_closed()) { in add_generator()
1828 if (c.is_necessarily_closed() || !is_necessarily_closed()) { in refine_with_constraints()
3106 if (is_necessarily_closed() in generalized_affine_image()
3223 if (is_necessarily_closed() in generalized_affine_preimage()
3326 if (is_necessarily_closed() in generalized_affine_image()
[all …]
|
| H A D | Polyhedron_nonpublic.cc | 364 if (x.is_necessarily_closed()) { in quick_equivalence_test()
464 if (x.is_necessarily_closed()) { in is_included_in()
1456 if (c.is_necessarily_closed() || !is_necessarily_closed()) { in refine_no_check()
1543 PPL_ASSERT(x.is_necessarily_closed() && y.is_necessarily_closed()); in BHZ09_C_poly_hull_assign_if_exact()
1657 PPL_ASSERT(!x.is_necessarily_closed() && !y.is_necessarily_closed()); in BHZ09_NNC_poly_hull_assign_if_exact()
2530 if (is_necessarily_closed()) { in throw_invalid_argument()
2547 if (is_necessarily_closed()) { in throw_topology_incompatible()
2686 if (is_necessarily_closed()) { in throw_dimension_incompatible()
2704 if (is_necessarily_closed()) { in throw_dimension_incompatible()
2741 if (is_necessarily_closed()) { in throw_invalid_generator()
[all …]
|
| H A D | Polyhedron_widenings.cc | 86 if (!y.is_necessarily_closed()) { in select_H79_constraints()
146 || (!is_necessarily_closed() in select_H79_constraints()
187 if (y.is_necessarily_closed()) { in H79_widening_assign()
313 if (x.is_necessarily_closed()) { in limited_H79_extrapolation_assign()
314 if (!y.is_necessarily_closed()) { in limited_H79_extrapolation_assign()
323 else if (y.is_necessarily_closed()) { in limited_H79_extrapolation_assign()
436 const bool closed = x.is_necessarily_closed(); in BHRZ03_combining_constraints()
555 const bool closed = x.is_necessarily_closed(); in BHRZ03_evolving_points()
852 if (x.is_necessarily_closed()) { in limited_BHRZ03_extrapolation_assign()
853 if (!y.is_necessarily_closed()) { in limited_BHRZ03_extrapolation_assign()
[all …]
|
| H A D | Generator_inlines.hh | 30 Generator::is_necessarily_closed() const { in is_necessarily_closed() function in Parma_Polyhedra_Library::Generator
98 PPL_ASSERT(is_necessarily_closed()); in mark_as_not_necessarily_closed()
128 if (is_necessarily_closed()) { in Generator()
184 : expr(g.expr, g.is_necessarily_closed() ? space_dim : (space_dim + 1)), in Generator()
194 : expr(g.expr, g.is_necessarily_closed() ? space_dim : (space_dim + 1), r), in Generator()
290 if (is_necessarily_closed()) { in type()
469 if (is_necessarily_closed()) { in ascii_dump()
510 if (is_necessarily_closed()) { in ascii_load()
|
| H A D | H79_Certificate.cc | 60 if (!ph.is_necessarily_closed()) { in H79_Certificate()
105 if (!ph.is_necessarily_closed()) { in compare()
|
| H A D | Generator_System_inlines.hh | 190 Generator_System::is_necessarily_closed() const { in is_necessarily_closed() function in Parma_Polyhedra_Library::Generator_System
191 return sys.is_necessarily_closed(); in is_necessarily_closed()
325 if (!gsp->is_necessarily_closed()) { in operator ++()
368 if (!sys.is_necessarily_closed()) { in begin()
|
| H A D | Constraint_inlines.hh | 32 Constraint::is_necessarily_closed() const { in is_necessarily_closed() function in Parma_Polyhedra_Library::Constraint
38 return !is_necessarily_closed(); in is_not_necessarily_closed()
105 PPL_ASSERT(is_necessarily_closed()); in mark_as_not_necessarily_closed()
188 : expr(c.expr, c.is_necessarily_closed() ? space_dim : (space_dim + 1)), in Constraint()
197 : expr(c.expr, c.is_necessarily_closed() ? space_dim : (space_dim + 1), r), in Constraint()
280 if (is_necessarily_closed()) { in type()
|
| H A D | BHRZ03_Certificate.cc | 94 if (!ph.is_necessarily_closed()) { in BHRZ03_Certificate()
164 if (!ph.is_necessarily_closed()) { in compare()
204 if (!ph.is_necessarily_closed()) { in compare()
|
| H A D | Generator_System.cc | 86 PPL_ASSERT(!sys.is_necessarily_closed()); in add_corresponding_closure_points()
112 PPL_ASSERT(!sys.is_necessarily_closed()); in add_corresponding_points()
132 if (sys.is_necessarily_closed()) { in has_closure_points()
169 if (sys.is_necessarily_closed()) { in has_points()
227 if (sys.is_necessarily_closed()) { in insert()
260 if (sys.is_necessarily_closed()) { in insert_pending()
|
| H A D | Generator.cc | 239 && !(x.is_necessarily_closed() && y.is_necessarily_closed())) { in is_equivalent_to()
465 if (!is_necessarily_closed() && epsilon_coefficient() != 0) { in PPL_OUTPUT_DEFINITIONS()
492 if (!is_necessarily_closed()) { in PPL_OUTPUT_DEFINITIONS()
|
| H A D | Polyhedron_inlines.hh | 74 Polyhedron::is_necessarily_closed() const { in is_necessarily_closed() function in Parma_Polyhedra_Library::Polyhedron
77 return con_sys.is_necessarily_closed(); in is_necessarily_closed()
458 return ph.is_necessarily_closed(); in is_necessarily_closed_for_interfaces()
|
| H A D | Constraint_System_inlines.hh | 199 if (sys.is_necessarily_closed()) { in add_low_level_constraints()
241 Constraint_System::is_necessarily_closed() const { in is_necessarily_closed() function in Parma_Polyhedra_Library::Constraint_System
242 return sys.is_necessarily_closed(); in is_necessarily_closed()
|
| H A D | Polyhedron_minimize_templates.hh | 167 if (dest.is_necessarily_closed()) { in minimize()
401 if (dest.is_necessarily_closed()) { in add_and_minimize()
|
| H A D | Constraint.cc | 117 if (is_necessarily_closed()) { in is_tautological()
161 if (is_necessarily_closed()) { in is_inconsistent()
|
| H A D | Constraint_System.cc | 113 if (sys.is_necessarily_closed()) { in has_strict_inequalities()
228 if (sys.is_necessarily_closed()) { in satisfies_all_constraints()
|
| H A D | Linear_System_templates.hh | 124 s << "topology " << (is_necessarily_closed() in ascii_dump()
584 = is_necessarily_closed() ? space_dimension() + 1 : space_dimension() + 2; in gauss()
784 = is_necessarily_closed() ? space_dimension() : space_dimension() + 1; in add_universe_rows_and_space_dimensions()
822 if (!is_necessarily_closed()) { in add_universe_rows_and_space_dimensions()
|
| H A D | Generator_System_defs.hh | 369 bool is_necessarily_closed() const;
|
| H A D | Constraint_System_defs.hh | 370 bool is_necessarily_closed() const;
|
| H A D | Linear_System_defs.hh | 242 bool is_necessarily_closed() const;
|
| H A D | Grid_Generator_defs.hh | 614 bool is_necessarily_closed() const;
|
| H A D | Grid_Generator_inlines.hh | 30 Grid_Generator::is_necessarily_closed() const { in is_necessarily_closed() function in Parma_Polyhedra_Library::Grid_Generator
|
| H A D | Polyhedron_chdims.cc | 136 if (!is_necessarily_closed()) { in add_space_dimensions_and_project()
|
| H A D | Constraint_defs.hh | 618 bool is_necessarily_closed() const;
|
| H A D | Generator_defs.hh | 610 bool is_necessarily_closed() const;
|