Searched refs:remove_arc (Results 1 – 3 of 3) sorted by relevance
3851 remove_arc (state_t from_state, arc_t arc) in remove_arc() function5514 remove_arc (original_state, curr_arc); in create_composed_state()
8831 (remove_arc, add_arc): Update num_out_arcs member.
13884 intersected_state_reservs_p, states_union, remove_arc,