|
| XBT_LOG_NEW_DEFAULT_SUBCATEGORY (xbt_automaton, xbt, "Automaton") |
|
xbt_automaton_t | xbt_automaton_new (void) |
|
xbt_automaton_state_t | xbt_automaton_state_new (xbt_automaton_t a, int type, char *id) |
|
xbt_automaton_transition_t | xbt_automaton_transition_new (xbt_automaton_t a, xbt_automaton_state_t src, xbt_automaton_state_t dst, xbt_automaton_exp_label_t label) |
|
xbt_automaton_exp_label_t | xbt_automaton_exp_label_new (int type,...) |
|
xbt_dynar_t | xbt_automaton_get_states (xbt_automaton_t a) |
|
xbt_dynar_t | xbt_automaton_get_transitions (xbt_automaton_t a) |
|
xbt_automaton_transition_t | xbt_automaton_get_transition (XBT_ATTRIB_UNUSED xbt_automaton_t a, xbt_automaton_state_t src, xbt_automaton_state_t dst) |
|
xbt_automaton_state_t | xbt_automaton_transition_get_source (xbt_automaton_transition_t t) |
|
xbt_automaton_state_t | xbt_automaton_transition_get_destination (xbt_automaton_transition_t t) |
|
void | xbt_automaton_transition_set_source (xbt_automaton_transition_t t, xbt_automaton_state_t src) |
|
void | xbt_automaton_transition_set_destination (xbt_automaton_transition_t t, xbt_automaton_state_t dst) |
|
xbt_dynar_t | xbt_automaton_state_get_out_transitions (xbt_automaton_state_t s) |
|
xbt_dynar_t | xbt_automaton_state_get_in_transitions (xbt_automaton_state_t s) |
|
xbt_automaton_state_t | xbt_automaton_state_exists (xbt_automaton_t a, char *id) |
|
void | xbt_automaton_display (xbt_automaton_t a) |
|
void | xbt_automaton_exp_label_display (xbt_automaton_exp_label_t label) |
|
xbt_automaton_state_t | xbt_automaton_get_current_state (xbt_automaton_t a) |
|
static int | call_simple_function (void *function) |
|
xbt_automaton_propositional_symbol_t | xbt_automaton_propositional_symbol_new (xbt_automaton_t a, const char *id, int(*fct)(void)) |
|
xbt_automaton_propositional_symbol_t | xbt_automaton_propositional_symbol_new_pointer (xbt_automaton_t a, const char *id, int *value) |
|
xbt_automaton_propositional_symbol_t | xbt_automaton_propositional_symbol_new_callback (xbt_automaton_t a, const char *id, xbt_automaton_propositional_symbol_callback_type callback, void *data, xbt_automaton_propositional_symbol_free_function_type free_function) |
|
int | xbt_automaton_propositional_symbol_evaluate (xbt_automaton_propositional_symbol_t symbol) |
|
xbt_automaton_propositional_symbol_callback_type | xbt_automaton_propositional_symbol_get_callback (xbt_automaton_propositional_symbol_t symbol) |
|
void * | xbt_automaton_propositional_symbol_get_data (xbt_automaton_propositional_symbol_t symbol) |
|
const char * | xbt_automaton_propositional_symbol_get_name (xbt_automaton_propositional_symbol_t symbol) |
|
int | xbt_automaton_state_compare (xbt_automaton_state_t s1, xbt_automaton_state_t s2) |
|
int | xbt_automaton_transition_compare (const void *t1, const void *t2) |
|
int | xbt_automaton_exp_label_compare (xbt_automaton_exp_label_t l1, xbt_automaton_exp_label_t l2) |
|
int | xbt_automaton_propositional_symbols_compare_value (xbt_dynar_t s1, xbt_dynar_t s2) |
|
static void | xbt_automaton_transition_free (xbt_automaton_transition_t t) |
|
static void | xbt_automaton_exp_label_free (xbt_automaton_exp_label_t e) |
|
static void | xbt_automaton_propositional_symbol_free (xbt_automaton_propositional_symbol_t ps) |
|
void | xbt_automaton_state_free (xbt_automaton_state_t s) |
|
void | xbt_automaton_state_free_voidp (void *s) |
|
void | xbt_automaton_transition_free_voidp (void *t) |
|
void | xbt_automaton_exp_label_free_voidp (void *e) |
|
void | xbt_automaton_propositional_symbol_free_voidp (void *ps) |
|
void | xbt_automaton_free (xbt_automaton_t a) |
|