Skip to main content

clique_width_ty

oxilean_std::parameterized_complexity::functions

Function clique_width_ty 

Source 
pub fn clique_width_ty() -> Expr
Expand description

CliqueWidth : Graph → Nat — the clique-width of a graph.