Enum ComplexityBound 

pub enum ComplexityBound {
    Constant,
    Linear,
    Polynomial(u32),
    Exponential,
    NonElementary,
}

A polynomial or exponential complexity bound extracted from a proof.

Variants

Constant

Constant O(1).

Linear

Linear O(n).

Polynomial(u32)

Polynomial O(n^k) for given k.

Exponential

Exponential O(2^n).

NonElementary

Non-elementary.

Implementations

impl ComplexityBound

pub fn is_polynomial(&self) -> bool

Returns true if the bound is at most polynomial.

Trait Implementations

impl Clone for ComplexityBound

fn clone(&self) -> ComplexityBound

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ComplexityBound

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for ComplexityBound

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for ComplexityBound

fn eq(&self, other: &ComplexityBound) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ComplexityBound

impl StructuralPartialEq for ComplexityBound