35 typedef void (*TransitionCB)(
void *ctx,
42 void (*get_initial_state)(
void *to);
43 int (*have_property)();
44 int (*get_successors)(
void* m,
int *in, TransitionCB,
void *arg);
45 int (*get_state_size)();
46 const char* (*get_state_variable_name)(
int var);
47 int (*get_state_variable_type)(
int var);
48 int (*get_type_count)();
49 const char* (*get_type_name)(
int type);
50 int (*get_type_value_count)(
int type);
51 const char* (*get_type_value_name)(
int type,
int value);
61 using spins_interface_ptr = std::shared_ptr<const spins_interface>;
Definition: spins_interface.hh:29
Definition: spins_interface.hh:39