mCRL2
|
#include <pbes_explorer.h>
Public Member Functions | |
lts_type (int state_length) | |
Contructor. | |
~lts_type () | |
Destructor. | |
int | get_state_length () const |
Returns the state length. | |
std::size_t | get_number_of_state_types () const |
Returns the number of state types. | |
const std::vector< std::string > & | get_state_names () const |
Returns the sequence of state part names. | |
const std::vector< std::string > & | get_state_types () const |
Returns the sequence of state part types. | |
int | get_state_type_no (int part) const |
Returns the state type index for the state part part . | |
std::string | get_state_type_name (int type_no) const |
Returns the name of the state type with number type_no . | |
std::size_t | get_number_of_state_labels () const |
Returns the number of state labels. | |
const std::vector< std::string > & | get_state_labels () const |
Returns the sequence of state labels. | |
const std::vector< std::string > & | get_state_label_types () const |
Returns the sequence of state label types. | |
std::size_t | get_number_of_edge_labels () const |
Returns the number of edge labels. | |
const std::vector< std::string > & | get_edge_labels () const |
Returns the sequence of edge labels. | |
const std::vector< std::string > & | get_edge_label_types () const |
Returns the sequence of edge label types. | |
void | add_state (const std::string &name, const std::string &type) |
Adds a state part of type type with name name . | |
void | add_state_label (const std::string &name, const std::string &type) |
Adds a state label of type type with name name . | |
void | add_edge_label (const std::string &name, const std::string &type) |
Adds an edge label of type type with name name . | |
Private Attributes | |
int | state_length |
std::vector< std::string > | state_names |
std::vector< std::string > | state_types |
std::vector< std::string > | state_type_list |
std::map< std::string, int > | state_type_index |
std::vector< int > | state_type_no |
std::vector< std::string > | state_label_names |
std::vector< std::string > | state_label_types |
std::vector< std::string > | edge_label_names |
std::vector< std::string > | edge_label_types |
Definition at line 38 of file pbes_explorer.h.
mcrl2::pbes_system::lts_type::lts_type | ( | int | state_length | ) |
mcrl2::pbes_system::lts_type::~lts_type | ( | ) |
Destructor.
Definition at line 49 of file pbes_explorer.cpp.
void mcrl2::pbes_system::lts_type::add_edge_label | ( | const std::string & | name, |
const std::string & | type | ||
) |
Adds an edge label of type type
with name name
.
name | the name of the edge label. |
type | the type of the edge label. |
Definition at line 152 of file pbes_explorer.cpp.
void mcrl2::pbes_system::lts_type::add_state | ( | const std::string & | name, |
const std::string & | type | ||
) |
Adds a state part of type type
with name name
.
name | the name of the state part. |
type | the type of the state part. |
Definition at line 123 of file pbes_explorer.cpp.
void mcrl2::pbes_system::lts_type::add_state_label | ( | const std::string & | name, |
const std::string & | type | ||
) |
Adds a state label of type type
with name name
.
name | the name of the state label. |
type | the type of the state label. |
Definition at line 144 of file pbes_explorer.cpp.
const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_edge_label_types | ( | ) | const |
Returns the sequence of edge label types.
Definition at line 117 of file pbes_explorer.cpp.
const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_edge_labels | ( | ) | const |
Returns the sequence of edge labels.
Definition at line 111 of file pbes_explorer.cpp.
std::size_t mcrl2::pbes_system::lts_type::get_number_of_edge_labels | ( | ) | const |
Returns the number of edge labels.
Definition at line 105 of file pbes_explorer.cpp.
std::size_t mcrl2::pbes_system::lts_type::get_number_of_state_labels | ( | ) | const |
Returns the number of state labels.
Definition at line 87 of file pbes_explorer.cpp.
std::size_t mcrl2::pbes_system::lts_type::get_number_of_state_types | ( | ) | const |
Returns the number of state types.
Definition at line 59 of file pbes_explorer.cpp.
const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_state_label_types | ( | ) | const |
Returns the sequence of state label types.
Definition at line 99 of file pbes_explorer.cpp.
const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_state_labels | ( | ) | const |
Returns the sequence of state labels.
Definition at line 93 of file pbes_explorer.cpp.
int mcrl2::pbes_system::lts_type::get_state_length | ( | ) | const |
Returns the state length.
Definition at line 53 of file pbes_explorer.cpp.
const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_state_names | ( | ) | const |
Returns the sequence of state part names.
Definition at line 75 of file pbes_explorer.cpp.
std::string mcrl2::pbes_system::lts_type::get_state_type_name | ( | int | type_no | ) | const |
Returns the name of the state type with number type_no
.
type_no | the state type number. |
Definition at line 70 of file pbes_explorer.cpp.
int mcrl2::pbes_system::lts_type::get_state_type_no | ( | int | part | ) | const |
Returns the state type index for the state part part
.
part | the state part number. |
Definition at line 65 of file pbes_explorer.cpp.
const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_state_types | ( | ) | const |
Returns the sequence of state part types.
Definition at line 81 of file pbes_explorer.cpp.
|
private |
Definition at line 47 of file pbes_explorer.h.
|
private |
Definition at line 48 of file pbes_explorer.h.
|
private |
Definition at line 45 of file pbes_explorer.h.
|
private |
Definition at line 46 of file pbes_explorer.h.
|
private |
Definition at line 39 of file pbes_explorer.h.
|
private |
Definition at line 40 of file pbes_explorer.h.
|
private |
Definition at line 43 of file pbes_explorer.h.
|
private |
Definition at line 42 of file pbes_explorer.h.
|
private |
Definition at line 44 of file pbes_explorer.h.
|
private |
Definition at line 41 of file pbes_explorer.h.