Skip to main content

compression_algorithm_ty

oxilean_std::parameterized_complexity::functions

Function compression_algorithm_ty 

Source 
pub fn compression_algorithm_ty() -> Expr
Expand description

CompressionAlgorithm : ParameterizedProblem → Nat → Prop Given a (k+1)-solution, the compression algorithm finds a k-solution or returns None.