Skip to main content

oxilean_std/proof_mining/
complexitybound_traits.rs

1//! # ComplexityBound - Trait Implementations
2//!
3//! This module contains trait implementations for `ComplexityBound`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Display`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::types::ComplexityBound;
12use std::fmt;
13
14impl std::fmt::Display for ComplexityBound {
15    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
16        match self {
17            ComplexityBound::Constant => write!(f, "O(1)"),
18            ComplexityBound::Linear => write!(f, "O(n)"),
19            ComplexityBound::Polynomial(k) => write!(f, "O(n^{})", k),
20            ComplexityBound::Exponential => write!(f, "O(2^n)"),
21            ComplexityBound::NonElementary => write!(f, "non-elementary"),
22        }
23    }
24}