22#include <spot/misc/common.hh>
35 typedef void (*TransitionCB)(
void *ctx,
52 void (*get_initial_state)(
void *to);
53 int (*have_property)();
54 int (*get_successors)(
void* m,
int *in, TransitionCB,
void *arg);
55 int (*get_state_size)();
56 const char* (*get_state_variable_name)(
int var);
57 int (*get_state_variable_type)(
int var);
58 int (*get_type_count)();
59 const char* (*get_type_name)(
int type);
60 int (*get_type_value_count)(
int type);
61 const char* (*get_type_value_name)(
int type,
int value);
69 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:44
Definition: automata.hh:26
Definition: spins_interface.hh:30