Skip to main content

build_parameterized_complexity_env

oxilean_std::parameterized_complexity::functions

Function build_parameterized_complexity_env 

Source 
pub fn build_parameterized_complexity_env(
    env: &mut Environment,
) -> Result<(), String>
Expand description

Populate an Environment with parameterized complexity axioms.