Skip to main content

parameterized_problem_ty

oxilean_std::parameterized_complexity::functions

Function parameterized_problem_ty 

Source 
pub fn parameterized_problem_ty() -> Expr
Expand description

ParameterizedProblem : Type — a problem with an associated parameter function.