Struct DiffsolTimeBackend 

pub struct DiffsolTimeBackend;

Stateless Diffsol adapter for admitted first-order time problems.

Implementations

§

impl DiffsolTimeBackend

Signature links:DiffsolTimeBackend

pub fn advance( &self, problem: &TimeProblem<'_>, plan: &TimePlan, roots: Option<&RegisteredRootProblem<'_>>, checkpoint: Option<&TimeCheckpoint>, cancellation: &Arc<Atomic<bool>>, progress: Option<&SyncSender<(usize, f64)>>, ) -> Result<ControlFlow<TimeCheckpoint, TimeRootOutcome>, Diagnostic>

Signature links:advanceTimeProblemTimePlanOptionRegisteredRootProblemOptionTimeCheckpointArcAtomicboolOptionSyncSenderusizef64ResultControlFlowTimeCheckpointTimeRootOutcomeDiagnostic

Continue an explicit adaptive segment, retaining its last accepted boundary.

Cancellation is checked between model operator evaluations and before a trial is committed. Progress uses nonblocking sends to a bounded channel; a full or disconnected observer cannot change numerical execution. Each snapshot contains the cumulative accepted step count within this smooth segment (including resumed history) and its endpoint model time. Break is an unfinished checkpoint, never an accepted solution. The current exact profile is Tsitouras45 with Diffsol’s default I-controller. Canonical Run admission must bind Model identity and committed reset history.

Errors

Rejects incompatible checkpoints, unsupported profiles, and model failures.

§

impl DiffsolTimeBackend

Signature links:DiffsolTimeBackend

pub const IDENTITY: TimeBackendIdentity

Signature links:IDENTITYTimeBackendIdentity

Stable adapter identity and exact Diffsol release represented by this build.

pub const CAPABILITIES: TimeBackendCapabilities

Signature links:CAPABILITIESTimeBackendCapabilities

Domains and real-coordinate precision supported by this adapter.

pub const fn new() -> DiffsolTimeBackend

Signature links:newDiffsolTimeBackend

Construct the stateless adapter.

pub fn admit( &self, equation_class: TimeEquationClass, method: TimeMethod, ) -> Result<(), Diagnostic>

Signature links:admitTimeEquationClassTimeMethodResult()Diagnostic

Check one equation-class/method pair without constructing a problem.

Tsitouras 5(4) admits only explicit ODEs. BDF admits ODEs and full- or rank-deficient mass matrices. A general implicit DAE is never rewritten to fit Diffsol’s first-order mass-matrix form.

Errors

Returns EQ0807 when the pair is outside the adapter contract.

pub fn solve( &self, problem: &TimeProblem<'_>, plan: &TimePlan, ) -> Result<TimeSolution, Diagnostic>

Signature links:solveTimeProblemTimePlanResultTimeSolutionDiagnostic

Solve one validated first-order problem at the requested output times.

Internal adaptive steps are owned by Diffsol and do not replace Eqiora model time or event ordering. Returned buffers are copied into an Eqiora-owned TimeSolution.

Errors

Returns stable Eqiora diagnostics for admission, callback, setup, or integration failures.

pub fn solve_forward_sensitivities( &self, problem: &ForwardSensitivityProblem<'_>, plan: &TimePlan, sensitivity_plan: &ForwardSensitivityPlan, ) -> Result<ForwardSensitivitySolution, Diagnostic>

Signature links:solve_forward_sensitivitiesForwardSensitivityProblemTimePlanForwardSensitivityPlanResultForwardSensitivitySolutionDiagnostic

Integrate continuous forward sensitivities from the same primal/JVP seam.

Parameter effects enter as f_p dp and y0_p dp actions supplied by eqiora_time::ParametricTimeSystem. Mass-matrix problems are admitted only after that contract proves M_p dp = 0; no dual-number simulator or Diffsol type enters the public contract.

Errors

Returns a stable diagnostic for invalid controls, unsupported equation/method pairs, callback failures, or integration failures.

pub fn solve_until_root_forward_sensitivities( &self, problem: &ForwardSensitivityProblem<'_>, roots: &RegisteredRootProblem<'_>, plan: &TimePlan, sensitivity_plan: &ForwardSensitivityPlan, ) -> Result<TimeRootOutcome, Diagnostic>

Signature links:solve_until_root_forward_sensitivitiesForwardSensitivityProblemRegisteredRootProblemTimePlanForwardSensitivityPlanResultTimeRootOutcomeDiagnostic

Integrate continuous fixed-time sensitivities through the first root or horizon.

The caller supplies the real parameter layout. Native interpolation retains pre-event sensitivities; event-time/reset derivatives remain canonical-owner work.

Errors

Rejects non-ODE root problems and invalid controls, callbacks, or integration.

pub fn solve_until_root( &self, problem: &TimeProblem<'_>, roots: &RegisteredRootProblem<'_>, plan: &TimePlan, ) -> Result<TimeRootOutcome, Diagnostic>

Signature links:solve_until_rootTimeProblemRegisteredRootProblemTimePlanResultTimeRootOutcomeDiagnostic

Localize the first zero crossing before the plan’s final output time.

The result is only a numerical proposal. Root direction, simultaneous grouping, priority, and reset commit are owned by Eqiora’s hybrid scheduler. A reset therefore restarts the same TimeProblem explicitly rather than invoking Diffsol’s automatic-reset semantics.

The first admitted slice is an explicit ODE. Native smooth history is retained through the first root or the final requested output.

Errors

Returns stable admission, callback, setup, and integration diagnostics.

Trait Implementations

§

impl Clone for DiffsolTimeBackend

Signature links:CloneDiffsolTimeBackend

§

fn clone(&self) -> DiffsolTimeBackend

Signature links:cloneDiffsolTimeBackend

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 DiffsolTimeBackend

Signature links:DebugDiffsolTimeBackend

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl Default for DiffsolTimeBackend

Signature links:DefaultDiffsolTimeBackend

§

fn default() -> DiffsolTimeBackend

Signature links:defaultDiffsolTimeBackend

Returns the “default value” for a type.

impl Copy for DiffsolTimeBackend