Skip to main content

ConservationLaw

proof_engine::solver::conservation

Trait ConservationLaw 

Source 
pub trait ConservationLaw: Send + Sync {
    // Required methods
    fn name(&self) -> &str;
    fn evaluate(&self, state: &OdeState) -> f64;
}
Expand description

A conservation law to verify during simulation.

Required Methods§

Source

fn name(&self) -> &str

Source

fn evaluate(&self, state: &OdeState) -> f64

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§