Skip to main content

augmenting_path_ty

oxilean_std::combinatorial_optimization::functions

Function augmenting_path_ty 

Source 
pub fn augmenting_path_ty() -> Expr
Expand description

AugmentingPath : Graph → Matching → List Nat → Prop — augmenting path.