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...