Struct ExecutionReceipt 

pub struct ExecutionReceipt {
    pub state_count: usize,
    pub state_visits: usize,
    pub transitions: usize,
    pub capture_history: usize,
    pub subject_symbols: usize,
}

Exact work consumed by an execution attempt.

Fields

state_count: usize

Compiled states in the input graph.

state_visits: usize

State configurations removed from the iterative worklists.

transitions: usize

Graph transitions considered.

capture_history: usize

Capture-boundary records created.

subject_symbols: usize

Subject symbols presented to the executor.

Trait Implementations

impl Clone for ExecutionReceipt

fn clone(&self) -> ExecutionReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ExecutionReceipt

impl Debug for ExecutionReceipt

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

Formats the value using the given formatter.

impl Default for ExecutionReceipt

fn default() -> ExecutionReceipt

Returns the “default value” for a type.

impl Eq for ExecutionReceipt

impl PartialEq for ExecutionReceipt

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExecutionReceipt