[−][src]Crate apis
Apis 
Reactive, session-oriented, asynchronous process-calculus framework.
Processes are "reactive" threads with specified message handling and update behavior.
Sessions are collections of Processes and Channels in a fixed communication
topology. The def_session! macro is used to define a Session together
with its Channels and Processes.
A 'Program' defines a transition system with Sessions as nodes. The
def_program! macro is used to define modes (Sessions) and transitions
between them.
Re-exports
pub extern crate colored; |
pub extern crate either; |
pub extern crate enum_unitary; |
pub extern crate log; |
pub extern crate macro_machines; |
pub extern crate vec_map; |
pub use enum_unitary::enum_iterator; |
pub use channel::Channel; |
pub use message::Message; |
pub use process::Process; |
pub use program::Program; |
pub use session::Session; |
Modules
| channel | |
| message | |
| process | |
| program | |
| session | Main session datatype. |
Macros
| def_program | Define a Program state machine. |
| def_session | Macro to define all parts of a session. |
Functions
| report_sizes |