Trait DiscreteStepLinearization 

pub trait DiscreteStepLinearization: LinearizedRelation<f64> {
    // Required methods
    fn state_fields(&self) -> &[Id<Field>];
    fn model_parameter_fields(&self) -> &[Id<Parameter>];
    fn model_parameter_values(&self) -> &[f64];
    fn previous_state(&self) -> &[f64];
    fn next_state(&self) -> &[f64];
    fn start_time(&self) -> f64;
    fn end_time(&self) -> f64;
    fn previous_state_parameter_dimension(&self) -> usize;
}

One accepted discrete step with an explicit previous-state/model-Parameter direct-sum layout.

This metadata lets trajectory analyses validate state, time, and design coordinate continuity before composing any adjoint solves. It does not prescribe a time integration method.

Required Methods

fn state_fields(&self) -> &[Id<Field>]

Signature links:state_fieldsIdField

Canonical state coordinate order shared by previous and next states.

fn model_parameter_fields(&self) -> &[Id<Parameter>]

Signature links:model_parameter_fieldsIdParameter

Canonical model Parameter order following the previous-state block.

fn model_parameter_values(&self) -> &[f64]

Signature links:model_parameter_valuesf64

Revision-local model Parameter point.

fn previous_state(&self) -> &[f64]

Signature links:previous_statef64

Accepted previous state at this step boundary.

fn next_state(&self) -> &[f64]

Signature links:next_statef64

Accepted next state at this step boundary.

fn start_time(&self) -> f64

Signature links:start_timef64

Frozen start time of this discrete relation.

fn end_time(&self) -> f64

Signature links:end_timef64

Frozen end time of this discrete relation.

fn previous_state_parameter_dimension(&self) -> usize

Signature links:previous_state_parameter_dimensionusize

Number of leading Parameter coordinates occupied by previous state.

Implementors

impl DiscreteStepLinearization for ImplicitEulerStepLinearization<'_>