Struct EffectiveBound 

pub struct EffectiveBound {
    pub original_theorem: String,
    pub extracted_bound: String,
    pub bound_type: BoundType,
    pub dependencies: Vec<String>,
}

Effective bound extraction result.

Fields

original_theorem: String

extracted_bound: String

bound_type: BoundType

dependencies: Vec<String>

Implementations

impl EffectiveBound

pub fn new(theorem: &str, bound: &str, bt: BoundType) -> Self

pub fn is_feasible(&self) -> bool

pub fn add_dependency(&mut self, dep: &str)

Trait Implementations

impl Clone for EffectiveBound

fn clone(&self) -> EffectiveBound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectiveBound

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

Formats the value using the given formatter.