Struct GeneratePropagateTestTrace 

pub struct GeneratePropagateTestTrace {
    pub generated: usize,
    pub guesses: usize,
    pub propagated: usize,
    pub pruned: usize,
    pub reduced_program_models: usize,
    pub tested: usize,
    pub accepted: usize,
    pub accepted_world_views: usize,
    pub rejected: usize,
    pub rejection_reasons: Vec<FaeelNoModelReason>,
}

Phase counters emitted by bounded Generate-Propagate-Test execution.

Fields

generated: usize

Number of generated candidates.

guesses: usize

Number of epistemic guesses generated.

propagated: usize

Number of candidates that survived propagation.

pruned: usize

Number of candidates pruned during propagation.

reduced_program_models: usize

Number of reduced-program models inspected by the test phase.

tested: usize

Number of candidates tested.

accepted: usize

Number of accepted candidates.

accepted_world_views: usize

Number of accepted world views.

rejected: usize

Number of rejected candidates.

rejection_reasons: Vec<FaeelNoModelReason>

Rejection reasons observed during propagation and testing.

Trait Implementations

impl Clone for GeneratePropagateTestTrace

fn clone(&self) -> GeneratePropagateTestTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GeneratePropagateTestTrace

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

Formats the value using the given formatter.

impl Default for GeneratePropagateTestTrace

fn default() -> GeneratePropagateTestTrace

Returns the “default value” for a type.

impl PartialEq for GeneratePropagateTestTrace

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

impl StructuralPartialEq for GeneratePropagateTestTrace