Searched defs:then_old_edge (Results 1 – 2 of 2) sorted by relevance
1871 edge then_old_edge, orig_ex = ex; in execute_sm_if_changed() local
2022 edge then_old_edge; in execute_sm_if_changed() local