mcrl2::pbes_system::lts_type

Include file:

#include "mcrl2/pbes/pbes_explorer.h
class mcrl2::pbes_system::lts_type

Private attributes

std::vector<std::string> edge_label_names
std::vector<std::string> edge_label_types
std::vector<std::string> state_label_names
std::vector<std::string> state_label_types
int state_length
std::vector<std::string> state_names
std::map<std::string, int> state_type_index
std::vector<std::string> state_type_list
std::vector<int> state_type_no
std::vector<std::string> state_types

Public member functions

void add_edge_label(const std::string &name, const std::string &type)

Adds an edge label of type type with name name.

Parameters:

  • name the name of the edge label.
  • type the type of the edge label.
void add_state(const std::string &name, const std::string &type)

Adds a state part of type type with name name.

Parameters:

  • name the name of the state part.
  • type the type of the state part.
void add_state_label(const std::string &name, const std::string &type)

Adds a state label of type type with name name.

Parameters:

  • name the name of the state label.
  • type the type of the state label.
const std::vector<std::string> &get_edge_label_types() const

Returns the sequence of edge label types.

const std::vector<std::string> &get_edge_labels() const

Returns the sequence of edge labels.

std::size_t get_number_of_edge_labels() const

Returns the number of edge labels.

std::size_t get_number_of_state_labels() const

Returns the number of state labels.

std::size_t get_number_of_state_types() const

Returns the number of state types.

const std::vector<std::string> &get_state_label_types() const

Returns the sequence of state label types.

const std::vector<std::string> &get_state_labels() const

Returns the sequence of state labels.

int get_state_length() const

Returns the state length.

const std::vector<std::string> &get_state_names() const

Returns the sequence of state part names.

std::string get_state_type_name(int type_no) const

Returns the name of the state type with number type_no.

Parameters:

  • type_no the state type number.
int get_state_type_no(int part) const

Returns the state type index for the state part part.

Parameters:

  • part the state part number.
const std::vector<std::string> &get_state_types() const

Returns the sequence of state part types.

lts_type(int state_length)

Contructor.

lts_type

Parameters:

  • state_length
~lts_type()

Destructor.