Struct CostBound 

pub struct CostBound {
    pub lower: u64,
    pub upper: Option<u64>,
}

Abstract cost model: estimated number of reduction steps.

Fields

lower: u64

upper: Option<u64>

Implementations

impl CostBound

pub fn exact(n: u64) -> Self

Create a tight bound.

pub fn at_least(n: u64) -> Self

Create an open-ended bound.

pub fn range(lo: u64, hi: u64) -> Self

Create a range bound.

pub fn is_bounded(&self) -> bool

Return whether the cost is bounded.

pub fn width(&self) -> Option<u64>

Return the cost width (hi - lo), or None if unbounded.

pub fn add(&self, other: &CostBound) -> CostBound

Add two cost bounds.

Trait Implementations

impl Clone for CostBound

fn clone(&self) -> CostBound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CostBound

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

Formats the value using the given formatter.

impl Copy for CostBound