Lines Matching refs:marked_shortest_path_closed

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()
966   PPL_ASSERT(!marked_empty() && marked_shortest_path_closed());  in compute_predecessors()
998   PPL_ASSERT(!marked_empty() && marked_shortest_path_closed());  in compute_leaders()
1882   if (marked_empty() || marked_shortest_path_closed()) {  in shortest_path_closure_assign()
1942   if (marked_empty() || marked_shortest_path_closed()) {  in incremental_shortest_path_closure_assign()
2172   PPL_ASSERT(space_dim == 0 || marked_shortest_path_closed());  in upper_bound_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()
3053   if (changed && marked_shortest_path_closed()) {  in intersection_assign()
3191   if (changed && limiting_shape.marked_shortest_path_closed()) {  in get_limiting_shape()
3282   PPL_ASSERT(marked_shortest_path_closed() && y.marked_shortest_path_closed());  in BHMZ05_widening_assign()
3399   if (changed && marked_shortest_path_closed()) {  in CC76_narrowing_assign()
6611   if (marked_shortest_path_closed()) {  in expand_space_dimension()
6922   if (marked_shortest_path_closed()) {  in OK()