Enum SubclassQuery 

pub enum SubclassQuery {
    Answer {
        is_subclass: bool,
        evidence: SubclassEvidence,
    },
    NodeBudgetExhausted {
        limit: usize,
        required: usize,
        evidence: SubclassEvidence,
    },
    WorkBudgetExhausted {
        limit: usize,
        evidence: SubclassEvidence,
    },
}

Result of a subclass query, including exact exhaustion evidence.

Variants

Answer

Fields

is_subclass: bool

evidence: SubclassEvidence

NodeBudgetExhausted

Fields

limit: usize

required: usize

evidence: SubclassEvidence

WorkBudgetExhausted

Fields

limit: usize

evidence: SubclassEvidence

Trait Implementations

impl Clone for SubclassQuery

fn clone(&self) -> SubclassQuery

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SubclassQuery

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

Formats the value using the given formatter.

impl Eq for SubclassQuery

impl PartialEq for SubclassQuery

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SubclassQuery