Skip to main content

graph_ty

oxilean_std::combinatorial_optimization::functions

Function graph_ty 

Source 
pub fn graph_ty() -> Expr
Expand description

Graph : Type — a simple undirected graph (vertices: Nat, edges: pairs).