Files

catcolab_backend

app.rs auth.rs document.rs main.rs rpc.rs socket.rs user.rs

catlog

dbl

category.rs graph.rs mod.rs model.rs model_diagram.rs model_morphism.rs theory.rs tree.rs tree_algorithms.rs

one

category.rs fin_category.rs graph.rs graph_algorithms.rs mod.rs path.rs

simulate

ode

lotka_volterra.rs mod.rs polynomial.rs

stdlib

analyses

ode

lotka_volterra.rs mass_action.rs mod.rs

mod.rs models.rs theories.rs

zero

alg.rs column.rs mod.rs rig.rs set.rs

lib.rs refs.rs validate.rs

catlog_wasm

analyses.rs lib.rs model.rs model_diagram.rs model_morphism.rs result.rs theories.rs theory.rs

catlog/stdlib/analyses/
mod.rs

Settings

Help

1//! Various analyses that can be performed on models.
2
3#[cfg(feature = "ode")]
4pub mod ode;