Struct LogicLimits 

pub struct LogicLimits {
    pub max_depth: usize,
    pub max_answers: Option<usize>,
    pub max_goals: usize,
    pub max_clause_scan: usize,
}

Resource ceilings that bound a single logic query.

Each limit aborts the query with an error rather than looping forever.

Fields

max_depth: usize

Maximum resolution depth before the query is aborted.

max_answers: Option<usize>

Maximum number of answers to collect, or None for unbounded.

max_goals: usize

Maximum number of pending goals allowed in a single state.

max_clause_scan: usize

Maximum number of candidate clauses scanned across the whole query.

Trait Implementations

impl Clone for LogicLimits

fn clone(&self) -> LogicLimits

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LogicLimits

impl Debug for LogicLimits

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

Formats the value using the given formatter.

impl Default for LogicLimits

fn default() -> Self

Returns the “default value” for a type.

impl Eq for LogicLimits

impl PartialEq for LogicLimits

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for LogicLimits