Struct NaryInductionResult 

pub struct NaryInductionResult {
    pub candidates: Vec<ScoredNaryCandidate>,
    pub total_scored: u32,
    pub candidate_count: u32,
    pub positive_count: u32,
    pub negative_count: u32,
}

Result of one induce_exact_nary call.

total_scored counts patterns actually scored by the kernel; the trivial early-outs (no candidates, no patterns, k == 0, no positive examples) report 0 and an empty candidate list.

Fields

candidates: Vec<ScoredNaryCandidate>

total_scored: u32

candidate_count: u32

positive_count: u32

negative_count: u32

Trait Implementations

impl Clone for NaryInductionResult

fn clone(&self) -> NaryInductionResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NaryInductionResult

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

Formats the value using the given formatter.

impl Default for NaryInductionResult

fn default() -> NaryInductionResult

Returns the “default value” for a type.

impl Eq for NaryInductionResult

impl PartialEq for NaryInductionResult

fn eq(&self, other: &NaryInductionResult) -> 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 NaryInductionResult