Struct CandidateTracePhasePlan 

pub struct CandidateTracePhasePlan {
    pub kind: String,
    pub attributes: Vec<CandidateTracePhaseAttribute>,
    pub opaque: bool,
    pub children: Vec<Self>,
}

A resolved solver phase plan used as candidate-trace provenance.

opaque is explicit rather than silently falling back to a type name. Consumers must reject an incomplete plan when proving work equivalence.

Fields

kind: String

attributes: Vec<CandidateTracePhaseAttribute>

Structured, sorted effective settings for this resolved node. Keys are unique, which makes the canonical framing unambiguous and prevents a display-only label from hiding material selector/acceptor/forager or termination differences.

opaque: bool

children: Vec<Self>

Implementations

impl CandidateTracePhasePlan

pub fn known<K, V, I>( kind: impl Into<String>, attributes: I, children: Vec<Self>, ) -> Self

where I: IntoIterator<Item = (K, V)>, K: Into<String>, V: Into<String>,

pub fn opaque(kind: impl Into<String>) -> Self

pub fn is_complete(&self) -> bool

pub fn canonical_bytes(&self) -> Vec<u8>

Trait Implementations

impl Clone for CandidateTracePhasePlan

fn clone(&self) -> CandidateTracePhasePlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CandidateTracePhasePlan

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

Formats the value using the given formatter.

impl Eq for CandidateTracePhasePlan

impl PartialEq for CandidateTracePhasePlan

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CandidateTracePhasePlan