pub trait ImplicitDaeVariableStepExplicitFirstOrderMinimize<F, 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_minimize_1(
&self,
function: impl FnMut(Quantity<T>, &Y, &Derivative<Y, T>) -> Result<F, String>,
jacobian: impl FnMut(Quantity<T>, &Y, &Derivative<Y, T>) -> Result<G, String>,
solver: impl FirstOrderOptimization<F, G, Derivative<Y, T>>,
time: &[Quantity<T>],
initial_condition: Y,
equality_constraint: impl FnMut(Quantity<T>) -> EqualityConstraint,
) -> Result<(Times<T>, U, V), IntegrationError> { ... }
}Expand description
Variable-step explicit integrators for implicit differential-algebraic equations using first-order minimization.
Provided Methods§
fn integrate_implicit_dae_variable_step_explicit_minimize_1( &self, function: impl FnMut(Quantity<T>, &Y, &Derivative<Y, T>) -> Result<F, String>, jacobian: impl FnMut(Quantity<T>, &Y, &Derivative<Y, T>) -> Result<G, String>, solver: impl FirstOrderOptimization<F, 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".