pub struct PolynomialODEAnalysis {
pub variable_ob_type: ModalObType,
pub positive_contribution_mor_type: ModalMorType,
pub negative_contribution_mor_type: ModalMorType,
}Expand description
Polynomial ODE analysis.
The “canonical” analysis for system of polynomial ODEs, namely interpreting them as actual systems of polynomial ODEs.
Fields§
§variable_ob_type: ModalObTypeObject type for variables.
positive_contribution_mor_type: ModalMorTypeMorphism type for positive contributions.
negative_contribution_mor_type: ModalMorTypeMorphism type for negative contributions.
Implementations§
Source§impl PolynomialODEAnalysis
impl PolynomialODEAnalysis
Sourcepub fn build_system(
&self,
model: &ModalDblModel<NonUnital>,
) -> PolynomialSystem<QualifiedName, Parameter<QualifiedName>, i8>
pub fn build_system( &self, model: &ModalDblModel<NonUnital>, ) -> PolynomialSystem<QualifiedName, Parameter<QualifiedName>, i8>
Creates a system with symbolic coefficients.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for PolynomialODEAnalysis
impl RefUnwindSafe for PolynomialODEAnalysis
impl Send for PolynomialODEAnalysis
impl Sync for PolynomialODEAnalysis
impl Unpin for PolynomialODEAnalysis
impl UnwindSafe for PolynomialODEAnalysis
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.