SimGrid
3.18
Versatile Simulation of Distributed Systems
|
#include "src/internal_config.h"
#include "xbt/automaton.h"
#include <errno.h>
#include <string.h>
#include <xbt/log.h>
#include "parserPromela.tab.cacc"
Functions | |
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY (xbt_automaton) | |
static void | new_state (char *id, int src) |
static void | new_transition (char *id, xbt_automaton_exp_label_t label) |
static xbt_automaton_exp_label_t | new_label (int type,...) |
void | xbt_automaton_load (xbt_automaton_t a, const char *file) |
Variables | |
static xbt_automaton_t | parsed_automaton |
char * | state_id_src |
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY | ( | xbt_automaton | ) |
|
static |
|
static |
|
static |
void xbt_automaton_load | ( | xbt_automaton_t | a, |
const char * | file | ||
) |
|
static |
char* state_id_src |