Skip to main content

wp_ty

oxilean_std::parameterized_complexity::functions

Function wp_ty 

Source 
pub fn wp_ty() -> Expr
Expand description

WP : Type — the class W[P] (contains weighted circuit satisfiability).