Struct SignedCoefficientBuilder

pub struct SignedCoefficientBuilder<ObType, MorType> { /* private fields */ }

Builder for signed coefficient matrices and analyses based on them.

Used to construct the linear and Lotka-Volterra ODE analyses.

Implementations

impl SignedCoefficientBuilder<QualifiedName, QualifiedPath>

pub fn linear_ode_analysis( &self, model: &DiscreteDblModel, data: LinearODEProblemData, ) -> ODEAnalysis<LinearODESystem>

Linear ODE analysis for a model of a double theory.

This analysis is a special case of linear ODE analysis for extended causal loop diagrams but can serve as a simple/naive semantics for causal loop diagrams, hopefully useful for toy models and demonstration purposes.

impl SignedCoefficientBuilder<QualifiedName, QualifiedPath>

pub fn lotka_volterra_analysis( &self, model: &DiscreteDblModel, data: LotkaVolterraProblemData, ) -> ODEAnalysis<LotkaVolterraSystem>

Lotka-Volterra ODE analysis for a model of a double theory.

The main application we have in mind is the Lotka-Volterra ODE semantics for signed graphs described in our paper on regulatory networks.

impl<ObType, MorType> SignedCoefficientBuilder<ObType, MorType>

pub fn new(var_ob_type: ObType) -> Self

Creates a new builder for the given object type.

pub fn add_positive(self, mor_type: MorType) -> Self

Adds a morphism type defining a positive interaction between objects.

pub fn add_negative(self, mor_type: MorType) -> Self

Adds a morphism type defining a negative interaction between objects.

pub fn build_matrix<Id>( &self, model: &impl FgDblModel<ObType = ObType, MorType = MorType, Ob = Id, ObGen = Id, MorGen = Id>, coeffs: &HashMap<Id, f32>, ) -> (DMatrix<f32>, BTreeMap<Id, usize>)

where Id: Eq + Clone + Hash + Ord,

Builds the matrix of coefficients for the given model.

Returns the coefficient matrix along with an ordered map from object generators to integer indices.