:: deftheorem defines AP:FindAugPath GLIB_005:def 13 :
for G being real-weighted WGraph
for EL being FF:ELabeling of G
for source being Vertex of G holds AP:FindAugPath (EL,source) = (AP:CompSeq (EL,source)) .Result() ;