Skip to main content

supermodular_function_ty

oxilean_std::combinatorial_optimization::functions

Function supermodular_function_ty 

Source 
pub fn supermodular_function_ty() -> Expr
Expand description

SupermodularFunction : (List Nat → Real) → Prop — supermodular (negation of submodular).