/usr/include/xbt/automaton.h is in libsimgrid-dev 3.10-7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 | #ifndef _XBT_AUTOMATON_H
#define _XBT_AUTOMATON_H
#include <stdlib.h>
#include <string.h>
#include <xbt/dynar.h>
#include <xbt/sysdep.h>
#include <xbt/graph.h>
SG_BEGIN_DECL()
typedef struct xbt_automaton_state {
char* id;
int type; /* -1 = init, 0 = inter, 1 = final */
xbt_dynar_t in;
xbt_dynar_t out;
} s_xbt_automaton_state;
typedef struct xbt_automaton_state* xbt_automaton_state_t;
typedef struct xbt_automaton {
xbt_dynar_t propositional_symbols;
xbt_dynar_t transitions;
xbt_dynar_t states;
xbt_automaton_state_t current_state;
} s_xbt_automaton;
typedef struct xbt_automaton* xbt_automaton_t;
typedef struct xbt_automaton_exp_label{
enum{or=0, and=1, not=2, predicat=3, one=4} type;
union{
struct{
struct xbt_automaton_exp_label* left_exp;
struct xbt_automaton_exp_label* right_exp;
}or_and;
struct xbt_automaton_exp_label* exp_not;
char* predicat;
}u;
} s_xbt_automaton_exp_label;
typedef struct xbt_automaton_exp_label* xbt_automaton_exp_label_t;
typedef struct xbt_automaton_transition {
xbt_automaton_state_t src;
xbt_automaton_state_t dst;
xbt_automaton_exp_label_t label;
} s_xbt_automaton_transition;
typedef struct xbt_automaton_transition* xbt_automaton_transition_t;
typedef struct xbt_automaton_propositional_symbol{
char* pred;
void* function;
} s_xbt_automaton_propositional_symbol;
typedef struct xbt_automaton_propositional_symbol* xbt_automaton_propositional_symbol_t;
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) 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_PUBLIC(xbt_automaton_exp_label_t) xbt_automaton_exp_label_new(int type, ...);
XBT_PUBLIC(xbt_dynar_t) xbt_automaton_get_states(xbt_automaton_t a);
XBT_PUBLIC(xbt_dynar_t) xbt_automaton_get_transitions(xbt_automaton_t a);
XBT_PUBLIC(xbt_automaton_transition_t) xbt_automaton_get_transition(xbt_automaton_t a, xbt_automaton_state_t src, xbt_automaton_state_t dst);
XBT_PUBLIC(xbt_automaton_state_t) xbt_automaton_transition_get_source(xbt_automaton_transition_t t);
XBT_PUBLIC(xbt_automaton_state_t) xbt_automaton_transition_get_destination(xbt_automaton_transition_t t);
XBT_PUBLIC(void) xbt_automaton_transition_set_source(xbt_automaton_transition_t t, xbt_automaton_state_t src);
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(void) xbt_automaton_display(xbt_automaton_t a);
XBT_PUBLIC(void) xbt_automaton_exp_label_display(xbt_automaton_exp_label_t l);
XBT_PUBLIC(xbt_automaton_propositional_symbol_t) xbt_automaton_propositional_symbol_new(xbt_automaton_t a, const char* id, void* fct);
XBT_PUBLIC(xbt_automaton_state_t) xbt_automaton_get_current_state(xbt_automaton_t a);
XBT_PUBLIC(int) xbt_automaton_state_compare(xbt_automaton_state_t s1, xbt_automaton_state_t s2);
XBT_PUBLIC(int) xbt_automaton_propositional_symbols_compare_value(xbt_dynar_t s1, xbt_dynar_t s2);
XBT_PUBLIC(int) xbt_automaton_transition_compare(const void *t1, const void *t2);
XBT_PUBLIC(int) xbt_automaton_exp_label_compare(xbt_automaton_exp_label_t l1, xbt_automaton_exp_label_t l2);
XBT_PUBLIC(void) xbt_automaton_state_free_voidp(void *s);
XBT_PUBLIC(void) xbt_automaton_state_free(xbt_automaton_state_t s);
XBT_PUBLIC(void) xbt_automaton_transition_free_voidp(void *t);
XBT_PUBLIC(void) xbt_automaton_exp_label_free_voidp(void *e);
XBT_PUBLIC(void) xbt_automaton_propositional_symbol_free_voidp(void *ps);
XBT_PUBLIC(void) xbt_automaton_free(xbt_automaton_t a);
SG_END_DECL()
#endif
|