Struct puffin::trace::TraceExecution

pub struct TraceExecution<PT: ProtocolTypes> {
    prior_traces: Vec<TraceExecution<PT>>,
    agents: Vec<AgentDescriptor<PT::PUTConfig>>,
    number_of_steps: usize,
    executed_until: usize,
    steps: Vec<StepExecution<PT>>,
}

Store the result of a trace execution to be printed in the cli or serialized for automated analysis

Fields

prior_traces: Vec<TraceExecution<PT>>

agents: Vec<AgentDescriptor<PT::PUTConfig>>

number_of_steps: usize

Total number of step in the trace

executed_until: usize

Number of steps executed before error

steps: Vec<StepExecution<PT>>

Execution result of each step

Implementations

impl<PT: ProtocolTypes> TraceExecution<PT>

pub fn from<PB>( trace: &Trace<PT>, ctx: &mut TraceContext<PB>, export_terms: bool, export_knowledges: bool, export_claims: bool, ) -> Self

where PB: ProtocolBehavior<ProtocolTypes = PT>,

fn count_prior_traces(trace: &Trace<PT>) -> usize

pub fn print(&self, f: &mut Formatter<'_>, depth: usize) -> Result

Trait Implementations

impl<PT> Serialize for TraceExecution<PT>

where PT: ProtocolTypes,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.