Collaboration diagram for spot::ltsmin_model:

Public Member Functions
kripke_ptr	kripke (const atomic_prop_set *to_observe, bdd_dict_ptr dict, formula dead=formula::tt(), int compress=0) const
ltsmin_kripkecube_ptr	kripkecube (std::vector< std::string > to_observe, formula dead=formula::tt(), int compress=0, unsigned int nb_threads=1) const
int	state_size () const
	Number of variables in a state.
const char *	state_variable_name (int var) const
	Name of each variable.
int	state_variable_type (int var) const
	Type of each variable.
int	type_count () const
	Number of different types.
const char *	type_name (int type) const
	Name of each type.
int	type_value_count (int type)
	Count of enumerated values for a type.
const char *	type_value_name (int type, int val)
	Name of each enumerated value for a type.

Static Public Member Functions
static ltsmin_model	load (const std::string &file)

Member Function Documentation

◆ state_size()

int spot::ltsmin_model::state_size ( ) const

Number of variables in a state.

const char * spot::ltsmin_model::state_variable_name ( int var ) const

Name of each variable.

int spot::ltsmin_model::state_variable_type ( int var ) const

Type of each variable.

int spot::ltsmin_model::type_count ( ) const

Number of different types.

const char * spot::ltsmin_model::type_name ( int type ) const

Name of each type.

int spot::ltsmin_model::type_value_count ( int type )

Count of enumerated values for a type.

const char * spot::ltsmin_model::type_value_name	(	int	type,
		int	val )

Name of each enumerated value for a type.

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