Struct QueryBudgets 

pub struct QueryBudgets {
    pub max_work: usize,
    pub max_observations: usize,
    pub max_depth: usize,
    pub max_output: usize,
}

Limits applied while verifying queries.

Fields

max_work: usize

Maximum query executions and explicit work charges.

max_observations: usize

Maximum dependency observations recorded during the run.

max_depth: usize

Maximum nested query stack depth.

max_output: usize

Maximum output units charged by query results or user code.

Implementations

impl QueryBudgets

pub const fn unlimited() -> Self

Returns an unbounded query budget.

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

Returns a query budget with explicit limits.

Trait Implementations

impl Clone for QueryBudgets

fn clone(&self) -> QueryBudgets

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for QueryBudgets

impl Debug for QueryBudgets

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

Formats the value using the given formatter.

impl Default for QueryBudgets

fn default() -> Self

Returns the “default value” for a type.

impl Eq for QueryBudgets

impl PartialEq for QueryBudgets

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for QueryBudgets