Skip to main content

OdeSystem

proof_engine::solver::ode

Trait OdeSystem 

Source 
pub trait OdeSystem: Send + Sync {
    // Required methods
    fn dimension(&self) -> usize;
    fn evaluate(&self, t: f64, y: &[f64], dydt: &mut [f64]);
}
Expand description

An ODE system dy/dt = f(t, y).

Required Methods§

Source

fn dimension(&self) -> usize

Source

fn evaluate(&self, t: f64, y: &[f64], dydt: &mut [f64])

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§