total_space/
lib.rs

1// total-space is free software: you can redistribute it and/or modify it under the terms of the
2// GNU General Public License, version 3, as published by the Free Software Foundation.
3//
4// total-space is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without
5// even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
6// General Public License for more details.
7//
8// You should have received a copy of the GNU General Public License along with total-space If not,
9// see <http://www.gnu.org/licenses/>.
10
11//! Explore the total space of states of communicating finite state machines.
12//!
13//! This is just the API reference documentation; see the
14//! [README](https://github.com/orenbenkiki/total-space) for an overview and links to example code.
15
16#![feature(trait_alias)]
17
18mod agents;
19mod claps;
20mod configurations;
21mod diagrams;
22mod macros;
23mod memoize;
24mod messages;
25mod models;
26mod reactions;
27mod utilities;
28
29pub use crate::agents::*;
30pub use crate::claps::*;
31pub use crate::configurations::*;
32pub use crate::messages::*;
33pub use crate::models::*;
34pub use crate::reactions::*;
35pub use crate::utilities::*;