#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

Detailed Description

Definition at line 35 of file pbes_explorer.h.

Constructor & Destructor Documentation

◆ lts_type()

mcrl2::pbes_system::lts_type::lts_type ( int state_length )

Contructor.

lts_type

Parameters

state_length

Definition at line 42 of file pbes_explorer.cpp.

◆ ~lts_type()

mcrl2::pbes_system::lts_type::~lts_type ( )

default

Destructor.

Member Function Documentation

◆ add_edge_label()

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.

Parameters

name	the name of the edge label.
type	the type of the edge label.

Definition at line 147 of file pbes_explorer.cpp.

◆ add_state()

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.

Parameters

name	the name of the state part.
type	the type of the state part.

Definition at line 119 of file pbes_explorer.cpp.

◆ add_state_label()

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.

Parameters

name	the name of the state label.
type	the type of the state label.

Definition at line 139 of file pbes_explorer.cpp.

◆ get_edge_label_types()

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 113 of file pbes_explorer.cpp.

◆ get_edge_labels()

const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_edge_labels ( ) const

Returns the sequence of edge labels.

Definition at line 107 of file pbes_explorer.cpp.

◆ get_number_of_edge_labels()

std::size_t mcrl2::pbes_system::lts_type::get_number_of_edge_labels ( ) const

Returns the number of edge labels.

Definition at line 101 of file pbes_explorer.cpp.

◆ get_number_of_state_labels()

std::size_t mcrl2::pbes_system::lts_type::get_number_of_state_labels ( ) const

Returns the number of state labels.

Definition at line 83 of file pbes_explorer.cpp.

◆ get_number_of_state_types()

std::size_t mcrl2::pbes_system::lts_type::get_number_of_state_types ( ) const

Returns the number of state types.

Definition at line 55 of file pbes_explorer.cpp.

◆ get_state_label_types()

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 95 of file pbes_explorer.cpp.

◆ get_state_labels()

const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_state_labels ( ) const

Returns the sequence of state labels.

Definition at line 89 of file pbes_explorer.cpp.

◆ get_state_length()

int mcrl2::pbes_system::lts_type::get_state_length ( ) const

Returns the state length.

Definition at line 49 of file pbes_explorer.cpp.

◆ get_state_names()

const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_state_names ( ) const

Returns the sequence of state part names.

Definition at line 71 of file pbes_explorer.cpp.

◆ get_state_type_name()

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.

Parameters

type_no the state type number.

Definition at line 66 of file pbes_explorer.cpp.

◆ get_state_type_no()

int mcrl2::pbes_system::lts_type::get_state_type_no ( int part ) const

Returns the state type index for the state part part.

Parameters

part	the state part number.

Definition at line 61 of file pbes_explorer.cpp.

◆ get_state_types()

const std::vector< std::string > & mcrl2::pbes_system::lts_type::get_state_types ( ) const

Returns the sequence of state part types.

Definition at line 77 of file pbes_explorer.cpp.

Member Data Documentation

◆ edge_label_names

std::vector<std::string> mcrl2::pbes_system::lts_type::edge_label_names

private

Definition at line 44 of file pbes_explorer.h.

◆ edge_label_types

std::vector<std::string> mcrl2::pbes_system::lts_type::edge_label_types

private

Definition at line 45 of file pbes_explorer.h.

◆ state_label_names

std::vector<std::string> mcrl2::pbes_system::lts_type::state_label_names

private

Definition at line 42 of file pbes_explorer.h.

◆ state_label_types

std::vector<std::string> mcrl2::pbes_system::lts_type::state_label_types

private

Definition at line 43 of file pbes_explorer.h.

◆ state_length

int mcrl2::pbes_system::lts_type::state_length

private

Definition at line 36 of file pbes_explorer.h.

◆ state_names

std::vector<std::string> mcrl2::pbes_system::lts_type::state_names

private

Definition at line 37 of file pbes_explorer.h.

◆ state_type_index

std::map<std::string,int> mcrl2::pbes_system::lts_type::state_type_index

private

Definition at line 40 of file pbes_explorer.h.

◆ state_type_list

std::vector<std::string> mcrl2::pbes_system::lts_type::state_type_list

private

Definition at line 39 of file pbes_explorer.h.

◆ state_type_no

std::vector<int> mcrl2::pbes_system::lts_type::state_type_no

private

Definition at line 41 of file pbes_explorer.h.

◆ state_types

std::vector<std::string> mcrl2::pbes_system::lts_type::state_types

private

Definition at line 38 of file pbes_explorer.h.

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

pbes/include/mcrl2/pbes/pbes_explorer.h
pbes/source/pbes_explorer.cpp

Public Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ lts_type()

◆ ~lts_type()

Member Function Documentation

◆ add_edge_label()

◆ add_state()

◆ add_state_label()

◆ get_edge_label_types()

◆ get_edge_labels()

◆ get_number_of_edge_labels()

◆ get_number_of_state_labels()

◆ get_number_of_state_types()

◆ get_state_label_types()

◆ get_state_labels()

◆ get_state_length()

◆ get_state_names()

◆ get_state_type_name()

◆ get_state_type_no()

◆ get_state_types()

Member Data Documentation

◆ edge_label_names

◆ edge_label_types

◆ state_label_names

◆ state_label_types

◆ state_length

◆ state_names

◆ state_type_index

◆ state_type_list

◆ state_type_no

◆ state_types