SimGrid  3.14.159
Versatile Simulation of Distributed Systems
automaton.h File Reference
#include <xbt/dynar.h>
#include <xbt/sysdep.h>
#include <xbt/graph.h>
#include <stdlib.h>
#include <string.h>

Classes

struct  xbt_automaton_state
 
struct  xbt_automaton
 
struct  xbt_automaton_exp_label
 
struct  xbt_automaton_transition
 

Typedefs

typedef struct xbt_automaton_state s_xbt_automaton_state
 
typedef struct xbt_automaton_statexbt_automaton_state_t
 
typedef struct xbt_automaton s_xbt_automaton
 
typedef struct xbt_automatonxbt_automaton_t
 
typedef struct xbt_automaton_exp_label s_xbt_automaton_exp_label
 
typedef struct xbt_automaton_exp_labelxbt_automaton_exp_label_t
 
typedef struct xbt_automaton_transition s_xbt_automaton_transition
 
typedef struct xbt_automaton_transitionxbt_automaton_transition_t
 
typedef struct xbt_automaton_propositional_symbol s_xbt_automaton_propositional_symbol
 
typedef struct xbt_automaton_propositional_symbolxbt_automaton_propositional_symbol_t
 
typedef int(* xbt_automaton_propositional_symbol_callback_type) (void *)
 
typedef void(* xbt_automaton_propositional_symbol_free_function_type) (void *)
 

Functions

xbt_automaton_t xbt_automaton_new (void)
 
void xbt_automaton_load (xbt_automaton_t automaton, const char *file)
 
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_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 l)
 
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)
 
xbt_automaton_propositional_symbol_callback_type xbt_automaton_propositional_symbol_get_callback (xbt_automaton_propositional_symbol_t symbol)
 
voidxbt_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_propositional_symbol_evaluate (xbt_automaton_propositional_symbol_t symbol)
 
xbt_automaton_state_t xbt_automaton_get_current_state (xbt_automaton_t a)
 
int xbt_automaton_state_compare (xbt_automaton_state_t s1, xbt_automaton_state_t s2)
 
int xbt_automaton_propositional_symbols_compare_value (xbt_dynar_t s1, xbt_dynar_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)
 
void xbt_automaton_state_free_voidp (void *s)
 
void xbt_automaton_state_free (xbt_automaton_state_t 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)
 

Typedef Documentation

§ s_xbt_automaton_state

§ xbt_automaton_state_t

§ s_xbt_automaton

§ xbt_automaton_t

typedef struct xbt_automaton* xbt_automaton_t

§ s_xbt_automaton_exp_label

§ xbt_automaton_exp_label_t

§ s_xbt_automaton_transition

§ xbt_automaton_transition_t

§ s_xbt_automaton_propositional_symbol

§ xbt_automaton_propositional_symbol_t

§ xbt_automaton_propositional_symbol_callback_type

typedef int(* xbt_automaton_propositional_symbol_callback_type) (void *)

§ xbt_automaton_propositional_symbol_free_function_type

typedef void(* xbt_automaton_propositional_symbol_free_function_type) (void *)

Function Documentation

§ xbt_automaton_new()

xbt_automaton_t xbt_automaton_new ( void  )

§ xbt_automaton_load()

void xbt_automaton_load ( xbt_automaton_t  automaton,
const char *  file 
)

§ xbt_automaton_state_new()

xbt_automaton_state_t xbt_automaton_state_new ( xbt_automaton_t  a,
int  type,
char *  id 
)

§ xbt_automaton_transition_new()

§ xbt_automaton_exp_label_new()

xbt_automaton_exp_label_t xbt_automaton_exp_label_new ( int  type,
  ... 
)

§ xbt_automaton_get_states()

xbt_dynar_t xbt_automaton_get_states ( xbt_automaton_t  a)

§ xbt_automaton_get_transitions()

xbt_dynar_t xbt_automaton_get_transitions ( xbt_automaton_t  a)

§ xbt_automaton_get_transition()

xbt_automaton_transition_t xbt_automaton_get_transition ( xbt_automaton_t  a,
xbt_automaton_state_t  src,
xbt_automaton_state_t  dst 
)

§ xbt_automaton_transition_get_source()

xbt_automaton_state_t xbt_automaton_transition_get_source ( xbt_automaton_transition_t  t)

§ xbt_automaton_transition_get_destination()

xbt_automaton_state_t xbt_automaton_transition_get_destination ( xbt_automaton_transition_t  t)

§ xbt_automaton_transition_set_source()

void xbt_automaton_transition_set_source ( xbt_automaton_transition_t  t,
xbt_automaton_state_t  src 
)

§ xbt_automaton_transition_set_destination()

void xbt_automaton_transition_set_destination ( xbt_automaton_transition_t  t,
xbt_automaton_state_t  dst 
)

§ xbt_automaton_state_get_out_transitions()

xbt_dynar_t xbt_automaton_state_get_out_transitions ( xbt_automaton_state_t  s)

§ xbt_automaton_state_get_in_transitions()

xbt_dynar_t xbt_automaton_state_get_in_transitions ( xbt_automaton_state_t  s)

§ xbt_automaton_state_exists()

xbt_automaton_state_t xbt_automaton_state_exists ( xbt_automaton_t  a,
char *  id 
)

§ xbt_automaton_display()

void xbt_automaton_display ( xbt_automaton_t  a)

§ xbt_automaton_exp_label_display()

void xbt_automaton_exp_label_display ( xbt_automaton_exp_label_t  l)

§ xbt_automaton_propositional_symbol_new()

xbt_automaton_propositional_symbol_t xbt_automaton_propositional_symbol_new ( xbt_automaton_t  a,
const char *  id,
int(*)(void fct 
)

§ xbt_automaton_propositional_symbol_new_pointer()

xbt_automaton_propositional_symbol_t xbt_automaton_propositional_symbol_new_pointer ( xbt_automaton_t  a,
const char *  id,
int *  value 
)

§ xbt_automaton_propositional_symbol_new_callback()

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 
)

§ xbt_automaton_propositional_symbol_get_callback()

xbt_automaton_propositional_symbol_callback_type xbt_automaton_propositional_symbol_get_callback ( xbt_automaton_propositional_symbol_t  symbol)

§ xbt_automaton_propositional_symbol_get_data()

void* xbt_automaton_propositional_symbol_get_data ( xbt_automaton_propositional_symbol_t  symbol)

§ xbt_automaton_propositional_symbol_get_name()

const char* xbt_automaton_propositional_symbol_get_name ( xbt_automaton_propositional_symbol_t  symbol)

§ xbt_automaton_propositional_symbol_evaluate()

int xbt_automaton_propositional_symbol_evaluate ( xbt_automaton_propositional_symbol_t  symbol)

§ xbt_automaton_get_current_state()

xbt_automaton_state_t xbt_automaton_get_current_state ( xbt_automaton_t  a)

§ xbt_automaton_state_compare()

int xbt_automaton_state_compare ( xbt_automaton_state_t  s1,
xbt_automaton_state_t  s2 
)

§ xbt_automaton_propositional_symbols_compare_value()

int xbt_automaton_propositional_symbols_compare_value ( xbt_dynar_t  s1,
xbt_dynar_t  s2 
)

§ xbt_automaton_transition_compare()

int xbt_automaton_transition_compare ( const void t1,
const void t2 
)

§ xbt_automaton_exp_label_compare()

int xbt_automaton_exp_label_compare ( xbt_automaton_exp_label_t  l1,
xbt_automaton_exp_label_t  l2 
)

§ xbt_automaton_state_free_voidp()

void xbt_automaton_state_free_voidp ( void s)

§ xbt_automaton_state_free()

void xbt_automaton_state_free ( xbt_automaton_state_t  s)

§ xbt_automaton_transition_free_voidp()

void xbt_automaton_transition_free_voidp ( void t)

§ xbt_automaton_exp_label_free_voidp()

void xbt_automaton_exp_label_free_voidp ( void e)

§ xbt_automaton_propositional_symbol_free_voidp()

void xbt_automaton_propositional_symbol_free_voidp ( void ps)

§ xbt_automaton_free()

void xbt_automaton_free ( xbt_automaton_t  a)