Struct snarkvm_circuit_environment::helpers::count::Count

pub struct Count(pub Constant, pub Public, pub Private, pub Constraints);

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

Tuple Fields

0: Constant

1: Public

2: Private

3: Constraints

Implementations

impl Count

pub const fn zero() -> Self

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
) -> Self

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
) -> Self

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) -> Self::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

Formats the value using the given formatter.

impl Mul<Count> for u64

fn mul(self, other: Count) -> Self::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) -> Self::Output

Scales the Count by a u64.

type Output = Count

The resulting type after applying the * operator.

impl Copy for Count