Struct puffin::trace::StepExecution

pub struct StepExecution<PT: ProtocolTypes> {
    step_number: usize,
    action: ActionType,
    agent: AgentName,
    knowledges: Option<Vec<Box<dyn EvaluatedTerm<PT>>>>,
    claims: Option<Vec<Box<dyn EvaluatedTerm<PT>>>>,
}

Fields

step_number: usize

action: ActionType

agent: AgentName

knowledges: Option<Vec<Box<dyn EvaluatedTerm<PT>>>>

claims: Option<Vec<Box<dyn EvaluatedTerm<PT>>>>

Implementations

impl<PT: ProtocolTypes> StepExecution<PT>

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

Trait Implementations

impl<PT> Serialize for StepExecution<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.