Enum snarkvm_circuit_types::prelude::count::Measurement

pub enum Measurement<V>where
    V: Copy + Debug + Ord + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,{
    Exact(V),
    Range(V, V),
    UpperBound(V),
}

A Measurement is a quantity that can be measured. The variants of the Measurement defines a condition associated with the measurable quantity.

Variants

Exact(V)

Range(V, V)

UpperBound(V)

Implementations

impl<V> Measurement<V>where V: Ord + Add<V, Output = V> + Sub<V, Output = V> + Copy + Mul<V, Output = V> + Debug,

pub fn matches(&self, candidate: V) -> bool

Returns true if the value matches the metric.

For an Exact metric, value must be equal to the exact value defined by the metric. For a Range metric, value must be satisfy lower bound and the upper bound. For an UpperBound metric, value must be satisfy the upper bound.

Trait Implementations

impl<V> Add<Measurement<V>> for Measurement<V>where V: Ord + Add<V, Output = V> + Sub<V, Output = V> + Copy + Mul<V, Output = V> + Debug,

fn add( self, other: Measurement<V> ) -> <Measurement<V> as Add<Measurement<V>>>::Output

Adds two variants of Measurement together, returning the newly-summed Measurement.

type Output = Measurement<V>

The resulting type after applying the + operator.

impl<V> Clone for Measurement<V>where V: Debug + Ord + Add<V, Output = V> + Sub<V, Output = V> + Clone + Mul<V, Output = V> + Copy,

fn clone(&self) -> Measurement<V>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V> Debug for Measurement<V>where V: Debug + Ord + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Copy,

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

Formats the value using the given formatter.

impl<V> Mul<V> for Measurement<V>where V: Ord + Add<V, Output = V> + Sub<V, Output = V> + Copy + Mul<V, Output = V> + Debug,

fn mul(self, other: V) -> <Measurement<V> as Mul<V>>::Output

Scales the Measurement by a value.

type Output = Measurement<V>

The resulting type after applying the * operator.

impl<V> PartialEq<Measurement<V>> for Measurement<V>where V: Debug + Ord + Add<V, Output = V> + Sub<V, Output = V> + PartialEq<V> + Mul<V, Output = V> + Copy,

fn eq(&self, other: &Measurement<V>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<V> Copy for Measurement<V>where V: Debug + Ord + Add<V, Output = V> + Sub<V, Output = V> + Copy + Mul<V, Output = V>,

impl<V> Eq for Measurement<V>where V: Debug + Ord + Add<V, Output = V> + Sub<V, Output = V> + Eq + Mul<V, Output = V> + Copy,

impl<V> StructuralEq for Measurement<V>where V: Ord + Add<V, Output = V> + Sub<V, Output = V> + Copy + Mul<V, Output = V> + Debug,

impl<V> StructuralPartialEq for Measurement<V>where V: Ord + Add<V, Output = V> + Sub<V, Output = V> + Copy + Mul<V, Output = V> + Debug,