Trait ImplicitDaeVariableStepExplicitZerothOrderRoot 

pub trait ImplicitDaeVariableStepExplicitZerothOrderRoot<G, Y, U, V, T = Time>
where
    Self: ImplicitDaeVariableStepExplicit<Y, U, V, T>,
    Y: Differentiate<T> + Tensor,
    Derivative<Y, T>: Mul<Quantity<T>, Output = Y>,
    U: TensorVec<Item = Y>,
    V: TensorVec<Item = Derivative<Y, T>>,
    T: UnitInv,
    for<'a> &'a Y: Mul<Scalar, Output = Y> + Mul<Quantity<<T as UnitInv>::Output>, Output = Derivative<Y, T>> + Sub<&'a Y, Output = Y>,
    for<'a> &'a Derivative<Y, T>: Mul<Scalar, Output = Derivative<Y, T>> + Mul<Quantity<T>, Output = Y>,
{
    // Provided method
    fn integrate_implicit_dae_variable_step_explicit_root_0(
        &self,
        function: impl FnMut(Quantity<T>, &Y, &Derivative<Y, T>) -> Result<G, String>,
        solver: impl ZerothOrderRootFinding<G, Derivative<Y, T>>,
        time: &[Quantity<T>],
        initial_condition: Y,
        equality_constraint: impl FnMut(Quantity<T>) -> EqualityConstraint,
    ) -> Result<(Times<T>, U, V), IntegrationError> { ... }
}

Variable-step explicit integrators for implicit differential-algebraic equations using zeroth-order root-finding.

Provided Methods

fn integrate_implicit_dae_variable_step_explicit_root_0( &self, function: impl FnMut(Quantity<T>, &Y, &Derivative<Y, T>) -> Result<G, String>, solver: impl ZerothOrderRootFinding<G, Derivative<Y, T>>, time: &[Quantity<T>], initial_condition: Y, equality_constraint: impl FnMut(Quantity<T>) -> EqualityConstraint, ) -> Result<(Times<T>, U, V), IntegrationError>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementors

impl<I, G, Y, U, V, T> ImplicitDaeVariableStepExplicitZerothOrderRoot<G, Y, U, V, T> for I

where I: ImplicitDaeVariableStepExplicit<Y, U, V, T>, Y: Differentiate<T> + Tensor, Derivative<Y, T>: Mul<Quantity<T>, Output = Y>, U: TensorVec<Item = Y>, V: TensorVec<Item = Derivative<Y, T>>, T: UnitInv, for<'a> &'a Y: Mul<Scalar, Output = Y> + Mul<Quantity<<T as UnitInv>::Output>, Output = Derivative<Y, T>> + Sub<&'a Y, Output = Y>, for<'a> &'a Derivative<Y, T>: Mul<Scalar, Output = Derivative<Y, T>> + Mul<Quantity<T>, Output = Y>,