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. More...

	spins_interface (const std::string &file_arg)
	Load a Spins interface from file_arg. More...

Public Attributes
void(*	get_initial_state )(void *to)
	Function to get the initial state. More...

int(*	have_property )()
	Function to check whether properties are available. More...

int(*	get_successors )(void m, int in, TransitionCB, void *arg)
	Function to compute successors. More...

int(*	get_state_size )()
	Function to return the state size. More...

const char (	get_state_variable_name )(int var)
	Function to name a state variable. More...

int(*	get_state_variable_type )(int var)
	Function to return a state variable type. More...

int(*	get_type_count )()
	Function to return the number of types. More...

const char (	get_type_name )(int type)
	Function to name a type. More...

int(*	get_type_value_count )(int type)
	Function to count values for a type. More...

const char (	get_type_value_name )(int type, int value)
	Function to name a type value. More...

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

Public Member Functions

Public Attributes