Struct DiscoveryStats 

pub struct DiscoveryStats {
    pub cone_fn_count: usize,
    pub term_count: usize,
    pub conjecture_count: usize,
    pub terms_truncated: bool,
    pub conjectures_truncated: bool,
    pub skipped_large_cone: bool,
    pub vm_filtered: bool,
    pub candidates_refuted: usize,
    pub max_term_size: usize,
}

Coverage / truncation accounting for one law’s discovery run.

Fields

cone_fn_count: usize

term_count: usize

conjecture_count: usize

Candidate equations enumerated (2b), before the VM-filter.

terms_truncated: bool

conjectures_truncated: bool

skipped_large_cone: bool

The cone exceeded [MAX_CONE_FNS]; enumeration was skipped entirely.

vm_filtered: bool

The VM-filter (2c) ran for this law. When true, conjectures holds only the survivors and candidates_refuted counts the rest.

candidates_refuted: usize

Candidates the VM-filter refuted (counterexample found on sample data).

max_term_size: usize

Trait Implementations

impl Clone for DiscoveryStats

fn clone(&self) -> DiscoveryStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DiscoveryStats

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

Formats the value using the given formatter.