Struct snarkvm_circuit_types::Count

pub struct Count(pub Measurement<u64>, pub Measurement<u64>, pub Measurement<u64>, pub Measurement<u64>);

A helper struct for tracking the number of constants, public inputs, private inputs, and constraints.

Tuple Fields

0: Measurement<u64>

1: Measurement<u64>

2: Measurement<u64>

3: Measurement<u64>

Implementations

impl Count

pub const fn zero() -> Count

Returns a new Count whose constituent metrics are all Exact.

pub const fn is(
    num_constants: u64,
    num_public: u64,
    num_private: u64,
    num_constraints: u64
) -> Count

Returns a new Count whose constituent metrics are all Exact.

pub const fn less_than(
    num_constants: u64,
    num_public: u64,
    num_private: u64,
    num_constraints: u64
) -> Count

Returns a new Count whose constituent metrics are all inclusive UpperBound.

pub fn matches(
    &self,
    num_constants: u64,
    num_public: u64,
    num_private: u64,
    num_constraints: u64
) -> bool

Returns true if all constituent metrics match.

Trait Implementations

impl Add<Count> for Count

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

Adds the Count to another Count by summing its constituent metrics.

type Output = Count

The resulting type after applying the + operator.

impl Clone for Count

fn clone(&self) -> Count

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Count

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

Formats the value using the given formatter.

impl Mul<Count> for u64

fn mul(self, other: Count) -> <u64 as Mul<Count>>::Output

Scales the Count by a u64.

type Output = Count

The resulting type after applying the * operator.

impl Mul<u64> for Count

fn mul(self, other: u64) -> <Count as Mul<u64>>::Output

Scales the Count by a u64.

type Output = Count

The resulting type after applying the * operator.

impl Copy for Count