X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f9df6a0ce7023e4e22d83bb6c50f27bd21fab329..680abdb047c1a66d3ccc14cad518117773c3cc8c:/include/xbt/automaton.h diff --git a/include/xbt/automaton.h b/include/xbt/automaton.h index 424cf49cb9..2d0d94e837 100644 --- a/include/xbt/automaton.h +++ b/include/xbt/automaton.h @@ -4,8 +4,8 @@ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#ifndef _XBT_AUTOMATON_H -#define _XBT_AUTOMATON_H +#ifndef XBT_AUTOMATON_H +#define XBT_AUTOMATON_H #include #include @@ -61,7 +61,7 @@ typedef struct xbt_automaton_propositional_symbol* xbt_automaton_propositional_s typedef int (*xbt_automaton_propositional_symbol_callback_type)(void*); typedef void (*xbt_automaton_propositional_symbol_free_function_type)(void*); -XBT_PUBLIC(xbt_automaton_t) xbt_automaton_new(); +XBT_PUBLIC(xbt_automaton_t) xbt_automaton_new(void); XBT_PUBLIC(void) xbt_automaton_load(xbt_automaton_t automaton, const char *file); XBT_PUBLIC(xbt_automaton_state_t) xbt_automaton_state_new(xbt_automaton_t a, int type, char* id); XBT_PUBLIC(xbt_automaton_transition_t) @@ -78,7 +78,7 @@ XBT_PUBLIC(void) xbt_automaton_transition_set_source(xbt_automaton_transition_t XBT_PUBLIC(void) xbt_automaton_transition_set_destination(xbt_automaton_transition_t t, xbt_automaton_state_t dst); XBT_PUBLIC(xbt_dynar_t) xbt_automaton_state_get_out_transitions(xbt_automaton_state_t s); XBT_PUBLIC(xbt_dynar_t) xbt_automaton_state_get_in_transitions(xbt_automaton_state_t s); -XBT_PUBLIC(xbt_automaton_state_t) xbt_automaton_state_exists(xbt_automaton_t a, char *id); +XBT_PUBLIC(xbt_automaton_state_t) xbt_automaton_state_exists(xbt_automaton_t a, char *id); XBT_PUBLIC(void) xbt_automaton_display(xbt_automaton_t a); XBT_PUBLIC(void) xbt_automaton_exp_label_display(xbt_automaton_exp_label_t l);