Enum CandidateTraceDisposition 

pub enum CandidateTraceDisposition {
    InterruptedBeforeEvaluation,
    Evaluated,
    NotDoable,
    RejectedByHardImprovement,
    RejectedByScoreImprovement,
    AcceptorRejected,
    ForagerIgnored,
    Selected,
    Applied,
}

One state transition for a retained candidate-pull entry.

The events are recorded in engine order. This lets a bounded trace prove not only which candidates were pulled, but which one was evaluated, rejected, selected, and actually applied.

Variants

InterruptedBeforeEvaluation

The engine stopped after the pull and before it evaluated this candidate.

Evaluated

The candidate reached evaluation.

NotDoable

Evaluation determined that the candidate was not doable.

RejectedByHardImprovement

A hard-improvement requirement rejected the evaluated candidate.

RejectedByScoreImprovement

A score-improvement requirement rejected the evaluated candidate.

AcceptorRejected

The configured acceptor rejected the evaluated candidate.

ForagerIgnored

The candidate was accepted/evaluated but lost to a forager choice.

Selected

The candidate was selected for commit.

Applied

The selected candidate was applied to the working solution.

Trait Implementations

impl Clone for CandidateTraceDisposition

fn clone(&self) -> CandidateTraceDisposition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CandidateTraceDisposition

impl Debug for CandidateTraceDisposition

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

Formats the value using the given formatter.

impl Eq for CandidateTraceDisposition

impl Hash for CandidateTraceDisposition

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CandidateTraceDisposition

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CandidateTraceDisposition