Struct UpdatableCount

pub struct UpdatableCount {
    pub constant: Constant,
    pub public: Public,
    pub private: Private,
    pub constraints: Constraints,
    /* private fields */
}

A helper struct for tracking the number of constants, public inputs, private inputs, and constraints. Warning: Do not construct this struct directly. Instead, use the count_is! and count_less_than! macros.

Fields

constant: Constant

public: Public

private: Private

constraints: Constraints

Implementations

impl UpdatableCount

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

Returns true if the values matches the Measurements in UpdatableCount.

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.

pub fn assert_matches( &self, num_constants: u64, num_public: u64, num_private: u64, num_constraints: u64, )

If all values match, do nothing. If all values metrics do not match:

• If the update condition is satisfied, then update the macro invocation that constructed this UpdatableCount.
• Otherwise, panic.

pub fn difference_between(&self, other: &Self) -> (i64, i64, i64, i64)

Computes the difference between the number of constants, public, private, and constraints of self and those of other.

Trait Implementations

impl Clone for UpdatableCount

fn clone(&self) -> UpdatableCount

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UpdatableCount

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

Formats the value using the given formatter.

impl Display for UpdatableCount

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

Formats the value using the given formatter.

impl Copy for UpdatableCount