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:

• include/xbt/automaton.h