Searched refs:edge_to_parent (Results 1 – 1 of 1) sorted by relevance
749 Edge edge_to_parent; in echo_phase() local761 edge_to_parent = e; in echo_phase()769 if (target(e, g) == parent) edge_to_parent = e; in echo_phase()807 header.edge = edge_to_parent; in echo_phase()