Struct GraphLimits 

pub struct GraphLimits {
    pub max_depth: usize,
    pub max_nodes: usize,
    pub max_references: usize,
    pub max_bytes: usize,
}

Resource ceilings for one verification graph.

Fields

max_depth: usize

Maximum graph edges followed from the active manifest.

max_nodes: usize

Maximum distinct manifests visited, including append-history stores.

max_references: usize

Maximum references examined across the pass.

max_bytes: usize

Maximum cumulative JUMBF bytes of visited manifests and predecessor stores.

Implementations

impl GraphLimits

pub const DEFAULT: Self

Engine ceilings used when the caller supplies no lower limits.

pub fn lowered( max_depth: usize, max_nodes: usize, max_references: usize, max_bytes: usize, ) -> Self

Construct caller-requested limits, clamped so no engine ceiling rises.

Trait Implementations

impl Clone for GraphLimits

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for GraphLimits

impl Debug for GraphLimits

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

Formats the value using the given formatter.

impl Default for GraphLimits

fn default() -> Self

Returns the “default value” for a type.

impl Eq for GraphLimits

impl PartialEq for GraphLimits

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for GraphLimits