Searched refs:min_edge (Results 1 – 1 of 1) sorted by relevance
110 Edge min_edge = make_pair(stack_[0], stack_[1]); in HandleCircuit() local123 min_edge = edge; in HandleCircuit()129 cut_edges_.insert(min_edge); in HandleCircuit()