23 #include <spot/misc/common.hh>
36 typedef void (*TransitionCB)(
void *ctx,
53 void (*get_initial_state)(
void *to);
54 int (*have_property)();
55 int (*get_successors)(
void* m,
int *in, TransitionCB,
void *arg);
56 int (*get_state_size)();
57 const char* (*get_state_variable_name)(
int var);
58 int (*get_state_variable_type)(
int var);
59 int (*get_type_count)();
60 const char* (*get_type_name)(
int type);
61 int (*get_type_value_count)(
int type);
62 const char* (*get_type_value_name)(
int type,
int value);
70 using spins_interface_ptr = std::shared_ptr<const spins_interface>;
Implementation of the PINS interface. This class is a wrapper that, given a file, will compile it w....
Definition: spins_interface.hh:45
Definition: automata.hh:27
Definition: spins_interface.hh:31