Enum Cost

pub enum Cost {
    Negligible,
    Specialized,
    Canonicalize,
}

When calling is_constant the children are all checked for constantness. This enum decide at each precision/cost level the constant check should run as. The cost increase as we move down the list.

Variants

Negligible

Only apply constant time computation to estimate constantness.

Specialized

Allow the encoding to do a linear amount of work to determine is constant. Each encoding should implement short-circuiting make the common case runtime well below a linear scan.

Canonicalize

Same as linear, but when necessary canonicalize the array and check is constant. This must always return a known answer.

Trait Implementations

impl Clone for Cost

fn clone(&self) -> Cost

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Cost

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

Formats the value using the given formatter.

impl PartialEq for Cost

fn eq(&self, other: &Cost) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Cost

impl Eq for Cost

impl StructuralPartialEq for Cost