Struct FlipRec 

pub struct FlipRec {
    pub at: u64,
    pub input: Vec<(String, u64)>,
    pub verified: bool,
    pub outcome: FlipOutcome,
}

One flip attempt, in decision order.

Fields

at: u64

The site the attempt was posed at.

input: Vec<(String, u64)>

The model’s bindings over the frontend’s symbolic surface, as opaque name/value pairs.

verified: bool

Whether the reference engine verified the flip onto a new path.

outcome: FlipOutcome

The structured outcome.

Trait Implementations

impl Clone for FlipRec

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FlipRec

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

Formats the value using the given formatter.

impl Default for FlipRec

fn default() -> Self

Returns the “default value” for a type.