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, regardless of the input format. More...

#include <spot/ltsmin/spins_interface.hh>

Collaboration diagram for spot::spins_interface:

Public Member Functions
	spins_interface ()=default
	Load a Spins interface from a shared library.
	spins_interface (const std::string &file_arg)
	Load a Spins interface from file_arg.

Public Attributes
void(*	get_initial_state )(void *to)
	Function to get the initial state.
int(*	have_property )()
	Function to check whether properties are available.
int(*	get_successors )(void *m, int *in, TransitionCB, void *arg)
	Function to compute successors.
int(*	get_state_size )()
	Function to return the state size.
const char *(*	get_state_variable_name )(int var)
	Function to name a state variable.
int(*	get_state_variable_type )(int var)
	Function to return a state variable type.
int(*	get_type_count )()
	Function to return the number of types.
const char *(*	get_type_name )(int type)
	Function to name a type.
int(*	get_type_value_count )(int type)
	Function to count values for a type.
const char *(*	get_type_value_name )(int type, int value)
	Function to name a type 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, regardless of the input format.

Constructor & Destructor Documentation

spins_interface() [1/2]

spot::spins_interface::spins_interface ( )

default

Load a Spins interface from a shared library.

spins_interface() [2/2]

spot::spins_interface::spins_interface

(

const std::string &

file_arg

)

Load a Spins interface from file_arg.

Member Data Documentation

get_initial_state

void(* spot::spins_interface::get_initial_state) (void *to)

Function to get the initial state.

get_state_size

int(* spot::spins_interface::get_state_size) ()

Function to return the state size.

get_state_variable_name

const char *(* spot::spins_interface::get_state_variable_name) (int var)

Function to name a state variable.

get_state_variable_type

int(* spot::spins_interface::get_state_variable_type) (int var)

Function to return a state variable type.

get_successors

int(* spot::spins_interface::get_successors) (void *m, int *in, TransitionCB, void *arg)

Function to compute successors.

get_type_count

int(* spot::spins_interface::get_type_count) ()

Function to return the number of types.

get_type_name

const char *(* spot::spins_interface::get_type_name) (int type)

Function to name a type.

get_type_value_count

int(* spot::spins_interface::get_type_value_count) (int type)

Function to count values for a type.

get_type_value_name

const char *(* spot::spins_interface::get_type_value_name) (int type, int value)

Function to name a type value.

have_property

int(* spot::spins_interface::have_property) ()

Function to check whether properties are available.

---

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

• spot/ltsmin/spins_interface.hh