Struct ScoredNaryCandidate 

pub struct ScoredNaryCandidate {
    pub head_rel_idx: RelId,
    pub body_rel_idxs: Vec<RelId>,
    pub pattern: NaryRulePattern,
    pub positives_covered: u32,
    pub negatives_covered: u32,
    pub local_rank: u32,
    pub next_positives_covered: u32,
    pub next_negatives_covered: u32,
    pub tie_class_size: u32,
}

One kept pattern with full metadata and diagnostics.

Fields

head_rel_idx: RelId

body_rel_idxs: Vec<RelId>

Relation identity of each body atom, in body order — the candidate_slot of the corresponding NaryRulePattern atom resolved against the request’s candidate list.

pattern: NaryRulePattern

The full canonical pattern (bindings included), for rule assembly.

positives_covered: u32

negatives_covered: u32

local_rank: u32

next_positives_covered: u32

next_negatives_covered: u32

tie_class_size: u32

Trait Implementations

impl Clone for ScoredNaryCandidate

fn clone(&self) -> ScoredNaryCandidate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScoredNaryCandidate

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

Formats the value using the given formatter.

impl Eq for ScoredNaryCandidate

impl PartialEq for ScoredNaryCandidate

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