rust_formal_verification/models/
mod.rs

1//! models like AndInverterGraph and FiniteStateTransitionSystem.
2
3// ************************************************************************************************
4// rust submodule decleration, they get searched in their respective file  names
5// ************************************************************************************************
6
7pub mod finite_state_transition_system;
8// requires folder in this directory with the name 'finite_state_transition_system'
9pub mod and_inverter_graph;
10// requires folder in this directory with the name 'and_inverter_graph'
11
12// ************************************************************************************************
13// re-exports of structs in these modules to simplify paths for other imports
14// ************************************************************************************************
15
16pub use and_inverter_graph::AndInverterGraph;
17pub use finite_state_transition_system::FiniteStateTransitionSystem;