spot::spins_interface Class Reference

Implementation of the PINS interface. This class is a wrapper that, given a file, will compile it w.r.t the PINS interface. The class can then be manipulated transparently whatever the input format considered. More...

#include <spot/ltsmin/spins_interface.hh>

Collaboration diagram for spot::spins_interface:

Public Member Functions
	spins_interface (const std::string &file_arg)

Public Attributes
void(*	get_initial_state )(void *to)
int(*	have_property )()
int(*	get_successors )(void *m, int *in, TransitionCB, void *arg)
int(*	get_state_size )()
const char *(*	get_state_variable_name )(int var)
int(*	get_state_variable_type )(int var)
int(*	get_type_count )()
const char *(*	get_type_name )(int type)
int(*	get_type_value_count )(int type)
const char *(*	get_type_value_name )(int type, int value)

Detailed Description

Implementation of the PINS interface. This class is a wrapper that, given a file, will compile it w.r.t the PINS interface. The class can then be manipulated transparently whatever the input format considered.

---

The documentation for this class was generated from the following file:

• spot/ltsmin/spins_interface.hh