Struct ExecutionSession 

pub struct ExecutionSession { /* private fields */ }

A bounded reference run with complete external tick inputs. The immutable program, exact calendar, and accepted values remain together. Complete input tables and retained output samples each have a one-million-scalar-component cap.

Implementations

§

impl ExecutionSession

Signature links:ExecutionSession

pub fn checkpoint(&self) -> ExecutionSession

Signature links:checkpointExecutionSession

Capture all accepted state, including the request, input tables and cursors. Resume cannot replace future inputs. This in-process snapshot has no serialized checkpoint-format promise.

pub fn advance_ticks(&mut self, count: usize) -> Result<usize, Vec<Diagnostic>>

Signature links:advance_ticksusizeResultusizeVecDiagnostic

Advance at most count distinct exact tick instants; return the accepted count. A failed boundary changes neither values, clock progress, inputs nor outputs.

pub fn advance(&mut self) -> Result<bool, Vec<Diagnostic>>

Signature links:advanceResultboolVecDiagnostic

Advance one stabilized boundary. Event-only boundaries do not consume ticks. At a nominal tick, numerical guard zero witnesses coincidence; unresolved root-bracket overlap rejects. This is not a proof of exact real root equality. A failed advance leaves state, calendar, outputs and prior sequence unchanged.

pub fn progress(&self) -> ExecutionProgress

Signature links:progressExecutionProgress

The most recently accepted boundary; fresh sessions are before tick zero.

pub fn activation_sequence(&self) -> &[Vec<RawId>]

Signature links:activation_sequenceVecRawId

Activation IDs grouped by zero-time microstep in the last accepted boundary. IDs are sorted for inspection only; order never chooses execution priority.

pub fn next_tick(&self) -> Option<RationalTime>

Signature links:next_tickOptionRationalTime

Next requested exact instant, absent after the inclusive run horizon.

pub fn field(&self, field: RawId) -> Option<ValueLiteral>

Signature links:fieldRawIdOptionValueLiteral

Accepted memory or continuous algebraic value. A clocked Variable is present only after its own accepted tick, until execution advances to another instant.

pub fn physical(&self, unknown: PhysicalUnknown) -> Option<f64>

Signature links:physicalPhysicalUnknownOptionf64

Accepted coherent-SI scalar value for one exact physical Port slot. A foreign or unexecuted slot has no value; observation adds no equation.

pub fn output( &self, port: RawId, tick_index: u64, ) -> Option<(RationalTime, &ValueLiteral)>

Signature links:outputRawIdu64OptionRationalTimeValueLiteral

An exposed output’s accepted sample at its own zero-based tick index. Absent before that tick; this never manufactures a held signal value.

Trait Implementations

§

impl Clone for ExecutionSession

Signature links:CloneExecutionSession

§

fn clone(&self) -> ExecutionSession

Signature links:cloneExecutionSession

Returns a duplicate of the value.

§

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

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

impl Debug for ExecutionSession

Signature links:DebugExecutionSession

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.