biodivine_hctl_model_checker/
lib.rs

1//! A small library regarding analysis of dynamic properties of Boolean networks through HCTL model checking.
2//! As of now, the library supports:
3//!  - Model-checking analysis of HCTL properties on (partially specified) BNs.
4//!  - Various formulae pre-processing utilities, such as tokenizing, parsing, or canonization.
5//!  - Manipulation with abstract syntactic trees for HCTL formulae.
6//!  - Searching for common sub-formulae across multiple properties.
7//!  - Optimised evaluation for several patterns, such as various attractor types or reachability.
8//!  - Simultaneous evaluation of several formulae, sharing common computation via cache.
9//!
10
11pub mod analysis;
12pub mod evaluation;
13pub mod generate_output;
14pub mod load_inputs;
15pub mod mc_utils;
16pub mod model_checking;
17pub mod postprocessing;
18pub mod preprocessing;
19pub mod result_print;
20
21/// **(internal)** Several complex test scenarios for the model checking procedure.
22#[cfg(test)]
23mod _test_model_checking;