Struct BoundedLinearLogic 

pub struct BoundedLinearLogic {
    pub polynomial_bound: String,
}

Bounded linear logic (Girard-Lafont-Regnard).

Fields

polynomial_bound: String

Implementations

impl BoundedLinearLogic

pub fn new(bound: &str) -> Self

pub fn captures_ptime(&self) -> bool

pub fn description(&self) -> String

Trait Implementations

impl Clone for BoundedLinearLogic

fn clone(&self) -> BoundedLinearLogic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoundedLinearLogic

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

Formats the value using the given formatter.