Struct CalcLimits 

pub struct CalcLimits {
    pub max_work: usize,
    pub max_observations: usize,
    pub max_query_depth: usize,
    pub max_output: usize,
}

Caller-requested limits for one verification.

Fields

max_work: usize

Query executions plus explicitly charged expression nodes.

max_observations: usize

Dynamic dependency observations.

max_query_depth: usize

Nested cell-query depth.

max_output: usize

Aggregate canonical output units.

Implementations

impl CalcLimits

pub const fn new( max_work: usize, max_observations: usize, max_query_depth: usize, max_output: usize, ) -> Self

Builds an explicit requested policy. Every field is hard-clamped.

Trait Implementations

impl Clone for CalcLimits

fn clone(&self) -> CalcLimits

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CalcLimits

impl Debug for CalcLimits

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

Formats the value using the given formatter.

impl Default for CalcLimits

fn default() -> Self

Returns the “default value” for a type.

impl Eq for CalcLimits

impl PartialEq for CalcLimits

fn eq(&self, other: &CalcLimits) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CalcLimits