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