Trait puffin::claims::Claim

pub trait Claim: EvaluatedTerm<Self::PT> + Debug {
    type PT: ProtocolTypes;

    // Required methods
    fn agent_name(&self) -> AgentName;
    fn id(&self) -> TypeShape<Self::PT>;
    fn inner(&self) -> Box<dyn EvaluatedTerm<Self::PT>>;
    fn set_step(&mut self, step: Option<StepNumber>);
    fn get_step(&self) -> Option<StepNumber>;
}

Required Associated Types

type PT: ProtocolTypes

Required Methods

fn agent_name(&self) -> AgentName

fn id(&self) -> TypeShape<Self::PT>

fn inner(&self) -> Box<dyn EvaluatedTerm<Self::PT>>

fn set_step(&mut self, step: Option<StepNumber>)

fn get_step(&self) -> Option<StepNumber>

Object Safety

This trait is not object safe.

Implementors