Struct RefinementEvent 

pub struct RefinementEvent { /* private fields */ }

One immutable orchestration-boundary event.

Implementations

impl RefinementEvent

pub fn new( kind: RefinementEventKind, stage: impl Into<String>, attempted_iteration: usize, accepted_iterations: usize, evaluations: usize, elapsed_seconds: f64, message: impl Into<String>, diagnostics: Vec<(String, DiagnosticValue)>, ) -> Result<Self, RuntimeError>

Validate and construct a finite machine-readable event.

Errors

Returns RuntimeError::InvalidEvent for invalid labels, counters, elapsed time, duplicate/empty diagnostic keys, or non-finite floats.

pub const fn kind(&self) -> RefinementEventKind

Return the event category.

pub fn stage(&self) -> &str

Borrow the stage label.

pub const fn attempted_iteration(&self) -> usize

Return the attempted iteration counter.

pub const fn accepted_iterations(&self) -> usize

Return the accepted iteration counter.

pub const fn evaluations(&self) -> usize

Return the evaluation counter.

pub const fn elapsed_seconds(&self) -> f64

Return elapsed monotonic seconds.

pub fn message(&self) -> &str

Borrow the human-readable message.

pub fn diagnostics(&self) -> &[(String, DiagnosticValue)]

Borrow diagnostics in stable insertion order.

Trait Implementations

impl Clone for RefinementEvent

fn clone(&self) -> RefinementEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RefinementEvent

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

Formats the value using the given formatter.

impl PartialEq for RefinementEvent

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RefinementEvent