Struct RamseyBound 

pub struct RamseyBound {
    pub name: String,
    pub lower_bound: u64,
    pub upper_bound: Option<u64>,
    pub proof_system: String,
}

Ramsey theory bounds from proof mining.

Fields

name: String

lower_bound: u64

upper_bound: Option<u64>

proof_system: String

Implementations

impl RamseyBound

pub fn r33() -> Self

pub fn r44() -> Self

pub fn is_exact(&self) -> bool

Trait Implementations

impl Clone for RamseyBound

fn clone(&self) -> RamseyBound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RamseyBound

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

Formats the value using the given formatter.