Struct 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 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 Display 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