Searched refs:marked_shortest_path_closed (Results 1 – 4 of 4) sorted by path
1970 bool marked_shortest_path_closed() const;
67 BD_Shape<T>::marked_shortest_path_closed() const { in marked_shortest_path_closed() function in Parma_Polyhedra_Library::BD_Shape706 if (marked_shortest_path_closed()) { in add_dbm_constraint()
482 if (changed && marked_shortest_path_closed()) { in add_constraint()571 if (changed && marked_shortest_path_closed()) { in refine_no_check()617 if (marked_shortest_path_closed()) { in concatenate_assign()2399 PPL_ASSERT(x.marked_shortest_path_closed()); in BHZ09_upper_bound_assign_if_exact()2400 PPL_ASSERT(y.marked_shortest_path_closed()); in BHZ09_upper_bound_assign_if_exact()2684 if (!yy.marked_shortest_path_closed()) { in simplify_using_context_assign()2722 if (!yy.marked_shortest_path_closed()) { in simplify_using_context_assign()2849 if (marked_shortest_path_closed()) { in add_space_dimensions_and_project()3282 PPL_ASSERT(marked_shortest_path_closed() && y.marked_shortest_path_closed()); in BHMZ05_widening_assign()6611 if (marked_shortest_path_closed()) { in expand_space_dimension()[all …]
64716 bool marked_shortest_path_closed() const;80330 if (marked_shortest_path_closed()) {81164 if (marked_shortest_path_closed()) {82946 PPL_ASSERT(x.marked_shortest_path_closed());82947 PPL_ASSERT(y.marked_shortest_path_closed());83231 if (!yy.marked_shortest_path_closed()) {83269 if (!yy.marked_shortest_path_closed()) {83396 if (marked_shortest_path_closed()) {83829 PPL_ASSERT(marked_shortest_path_closed() && y.marked_shortest_path_closed());87158 if (marked_shortest_path_closed()) {[all …]