total-space-0.1.1
Platform
Feature flags

docs.rs

Rust

total-space 0.1.1

Explore the total space of states of communicating finite state machines.

Crate
Source
Builds
Feature flags

..
abort.txt
agents.txt
client_states.dot
client_states.svg
client_states_condensed.dot
client_states_condensed.svg
client_states_final.dot
client_states_final.svg
client_states_names.dot
client_states_names.svg
compute.txt
conditions.txt
configurations.txt
path.txt
sequence.svg
sequence.uml
server_states.dot
server_states.svg
server_states_condensed.dot
server_states_condensed.svg
server_states_final.dot
server_states_final.svg
server_states_names.dot
server_states_names.svg
transitions.txt

agents: 2
states: 4
messages: 9
configurations: 8
transitions: 12