nextMin property

DirectedEdge nextMin
getter/setter pair

Implementation

late DirectedEdge
    nextMin;