Struct PhpPrinciple 

pub struct PhpPrinciple {
    pub n_pigeons: usize,
    pub m_holes: usize,
    pub resolution_lower_bound: usize,
}

Fields

n_pigeons: usize

m_holes: usize

resolution_lower_bound: usize

Implementations

impl PhpPrinciple

pub fn new(n: usize, m: usize) -> Self

pub fn is_valid_php(&self) -> bool

pub fn haken_lower_bound_description(&self) -> String

pub fn bounded_arithmetic_connection(&self) -> String

Trait Implementations

impl Clone for PhpPrinciple

fn clone(&self) -> PhpPrinciple

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PhpPrinciple

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

Formats the value using the given formatter.