SimGrid  3.14.159
Versatile Simulation of Distributed Systems
automaton.hpp File Reference
#include <utility>
#include <xbt/automaton.h>

Namespaces

 simgrid
 Host datatype from SIMIX POV.
 
 simgrid::xbt
 

Functions

template<class F >
xbt_automaton_propositional_symbol_t simgrid::xbt::add_proposition (xbt_automaton_t a, const char *id, F f)
 Add a proposition to an automaton (the C++ way) More...