SimGrid
3.21
Versatile Simulation of Distributed Systems
|
#include <automaton.h>
Public Attributes | |
xbt_dynar_t | propositional_symbols |
xbt_dynar_t | transitions |
xbt_dynar_t | states |
xbt_automaton_state_t | current_state |
xbt_dynar_t xbt_automaton::propositional_symbols |
xbt_dynar_t xbt_automaton::transitions |
xbt_dynar_t xbt_automaton::states |
xbt_automaton_state_t xbt_automaton::current_state |