Skip to main content

EddDemo

simular::demos

Trait EddDemo 

Source 
pub trait EddDemo {
    // Required methods
    fn name(&self) -> &'static str;
    fn emc_ref(&self) -> &'static str;
    fn step(&mut self, dt: f64);
    fn verify_equation(&self) -> bool;
    fn get_falsification_status(&self) -> FalsificationStatus;
    fn reset(&mut self);
}
Expand description

Common trait for all EDD demos.

Required Methods§

Source

fn name(&self) -> &'static str

Demo name for display.

Source

fn emc_ref(&self) -> &'static str

EMC reference path.

Source

fn step(&mut self, dt: f64)

Advance the simulation by one timestep.

Source

fn verify_equation(&self) -> bool

Check if the governing equation is currently verified.

Source

fn get_falsification_status(&self) -> FalsificationStatus

Get the current falsification status.

Source

fn reset(&mut self)

Reset the demo to initial conditions.

Implementors§