spot  2.11.6
Public Member Functions | Static Public Member Functions | List of all members
spot::ltsmin_model Class Referencefinal
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. More...
 
const char * state_variable_name (int var) const
 Name of each variable. More...
 
int state_variable_type (int var) const
 Type of each variable. More...
 
int type_count () const
 Number of different types. More...
 
const char * type_name (int type) const
 Name of each type. More...
 
int type_value_count (int type)
 Count of enumerated values for a type. More...
 
const char * type_value_name (int type, int val)
 Name of each enumerated value for a type. More...
 

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.

◆ state_variable_name()

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

Name of each variable.

◆ state_variable_type()

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

Type of each variable.

◆ type_count()

int spot::ltsmin_model::type_count ( ) const

Number of different types.

◆ type_name()

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

Name of each type.

◆ type_value_count()

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

Count of enumerated values for a type.

◆ type_value_name()

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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1