Struct CandidateTransition 

pub struct CandidateTransition {
    pub proposal: EffectProposal,
    pub before: CandidateStateWitness,
    pub after: CandidateStateWitness,
}

A fully materialized candidate transition Adm(x, p, x').

Fields

proposal: EffectProposal

before: CandidateStateWitness

after: CandidateStateWitness

Implementations

impl CandidateTransition

pub fn new( proposal: EffectProposal, before: CandidateStateWitness, after: CandidateStateWitness, ) -> Self

pub fn unmeasured(proposal: EffectProposal) -> Self

Test and read-only helper for transitions without a workspace driver.

Trait Implementations

impl Clone for CandidateTransition

fn clone(&self) -> CandidateTransition

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CandidateTransition

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CandidateTransition

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for CandidateTransition

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for CandidateTransition

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for CandidateTransition