SimGrid  3.16
Versatile Simulation of Distributed Systems
automaton.c File Reference
#include "xbt/automaton.h"
#include <stdio.h>

Classes

struct  xbt_automaton_propositional_symbol
 

Functions

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_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)
 
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_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)
 

Function Documentation

◆ xbt_automaton_new()

xbt_automaton_t xbt_automaton_new ( void  )

◆ 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  label)

◆ xbt_automaton_get_current_state()

xbt_automaton_state_t xbt_automaton_get_current_state ( xbt_automaton_t  a)

◆ call_simple_function()

static int call_simple_function ( void function)
static

◆ 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_evaluate()

int xbt_automaton_propositional_symbol_evaluate ( xbt_automaton_propositional_symbol_t  symbol)

◆ 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_state_compare()

int xbt_automaton_state_compare ( xbt_automaton_state_t  s1,
xbt_automaton_state_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_propositional_symbols_compare_value()

int xbt_automaton_propositional_symbols_compare_value ( xbt_dynar_t  s1,
xbt_dynar_t  s2 
)

◆ xbt_automaton_transition_free()

static void xbt_automaton_transition_free ( xbt_automaton_transition_t  t)
static

◆ xbt_automaton_exp_label_free()

static void xbt_automaton_exp_label_free ( xbt_automaton_exp_label_t  e)
static

◆ xbt_automaton_propositional_symbol_free()

static void xbt_automaton_propositional_symbol_free ( xbt_automaton_propositional_symbol_t  ps)
static

◆ xbt_automaton_state_free()

void xbt_automaton_state_free ( xbt_automaton_state_t  s)

◆ xbt_automaton_state_free_voidp()

void xbt_automaton_state_free_voidp ( void 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)