pub struct ODEStepFactory;Expand description
Factory for creating common ODE solution steps
Implementations§
Source§impl ODEStepFactory
impl ODEStepFactory
Sourcepub fn detection(
ode_type: &str,
equation: &Expression,
reason: &str,
) -> ODESolutionStep
pub fn detection( ode_type: &str, equation: &Expression, reason: &str, ) -> ODESolutionStep
Create detection step
Sourcepub fn separation(
original: &Expression,
separated: &Expression,
g_x: &str,
h_y: &str,
) -> ODESolutionStep
pub fn separation( original: &Expression, separated: &Expression, g_x: &str, h_y: &str, ) -> ODESolutionStep
Create separation step for separable ODEs
Sourcepub fn integration(
integrand: &Expression,
result: &Expression,
variable: &Symbol,
side: &str,
) -> ODESolutionStep
pub fn integration( integrand: &Expression, result: &Expression, variable: &Symbol, side: &str, ) -> ODESolutionStep
Create integration step
Sourcepub fn solution_construction(
implicit: &Expression,
explicit: &Expression,
method: &str,
) -> ODESolutionStep
pub fn solution_construction( implicit: &Expression, explicit: &Expression, method: &str, ) -> ODESolutionStep
Create solution construction step
Sourcepub fn verification(
solution: &Expression,
original_ode: &Expression,
verification_result: bool,
) -> ODESolutionStep
pub fn verification( solution: &Expression, original_ode: &Expression, verification_result: bool, ) -> ODESolutionStep
Create verification step
Auto Trait Implementations§
impl Freeze for ODEStepFactory
impl RefUnwindSafe for ODEStepFactory
impl Send for ODEStepFactory
impl Sync for ODEStepFactory
impl Unpin for ODEStepFactory
impl UnwindSafe for ODEStepFactory
Blanket Implementations§
§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more