31 typedef void (*TransitionCB)(
void *ctx,
38 void (*get_initial_state)(
void *to);
39 int (*have_property)();
40 int (*get_successors)(
void* m,
int *in, TransitionCB,
void *arg);
41 int (*get_state_size)();
42 const char* (*get_state_variable_name)(
int var);
43 int (*get_state_variable_type)(
int var);
44 int (*get_type_count)();
45 const char* (*get_type_name)(
int type);
46 int (*get_type_value_count)(
int type);
47 const char* (*get_type_value_name)(
int type,
int value);
49 int (*get_transition_count)();
50 int* (*get_transition_read_dependencies)(
int t);
51 int* (*get_transition_write_dependencies)(
int t);
52 int* (*get_guards)(
int t);
53 int (*get_guard_count)();
54 int* (*get_guard_nes_matrix)(
int g);
55 int* (*get_guard_may_be_coenabled_matrix)(
int g);