SimGrid  3.16
Versatile Simulation of Distributed Systems
xbt_automaton Struct Reference

#include <automaton.h>

Public Attributes

xbt_dynar_t propositional_symbols
 
xbt_dynar_t transitions
 
xbt_dynar_t states
 
xbt_automaton_state_t current_state
 

Member Data Documentation

◆ propositional_symbols

xbt_dynar_t xbt_automaton::propositional_symbols

◆ transitions

xbt_dynar_t xbt_automaton::transitions

◆ states

xbt_dynar_t xbt_automaton::states

◆ current_state

xbt_automaton_state_t xbt_automaton::current_state

The documentation for this struct was generated from the following file: