mcrl2::lts::state_label_dot Class Reference

This class contains labels for states in dot format. More...

#include <lts_dot.h>

Public Member Functions
	state_label_dot ()=default
	The default constructor.
	state_label_dot (const std::string &state_name, const std::string &state_label)
	A constructor setting the name and label of this state label to the indicated values.
void	set_name (const std::string &s)
	This method sets the name of the state label to the string s.
std::string	name () const
	This method returns the string in the name field of a state label.
void	set_label (const std::string &s)
	This method sets the label field of the state label to the string s.
std::string	label () const
	This method returns the label in the name field of a state label.
bool	operator== (const state_label_dot &l) const
	Standard comparison operator, comparing both the string in the name field, as well as the one in the label field.
bool	operator!= (const state_label_dot &l) const
	Standard inequality operator. Just the negation of equality.

Private Attributes
std::string	m_state_name
std::string	m_state_label

Detailed Description

This class contains labels for states in dot format.

A dot state label consists of two strings, the name of a state and a separate label.

Definition at line 33 of file lts_dot.h.

Constructor & Destructor Documentation

state_label_dot() [1/2]

mcrl2::lts::state_label_dot::state_label_dot ( )

default

The default constructor.

state_label_dot() [2/2]

mcrl2::lts::state_label_dot::state_label_dot ( const std::string &  state_name, const std::string &  state_label  )

inline

A constructor setting the name and label of this state label to the indicated values.

Definition at line 47 of file lts_dot.h.

Member Function Documentation

label()

std::string mcrl2::lts::state_label_dot::label ( ) const

inline

This method returns the label in the name field of a state label.

Definition at line 74 of file lts_dot.h.

name()

std::string mcrl2::lts::state_label_dot::name ( ) const

inline

This method returns the string in the name field of a state label.

Definition at line 60 of file lts_dot.h.

operator!=()

bool mcrl2::lts::state_label_dot::operator!= ( const state_label_dot &  l ) const

inline

Standard inequality operator. Just the negation of equality.

Definition at line 89 of file lts_dot.h.

operator==()

bool mcrl2::lts::state_label_dot::operator== ( const state_label_dot &  l ) const

inline

Standard comparison operator, comparing both the string in the name field, as well as the one in the label field.

Definition at line 82 of file lts_dot.h.

set_label()

void mcrl2::lts::state_label_dot::set_label ( const std::string &  s )

inline

This method sets the label field of the state label to the string s.

Definition at line 67 of file lts_dot.h.

set_name()

void mcrl2::lts::state_label_dot::set_name ( const std::string &  s )

inline

This method sets the name of the state label to the string s.

Definition at line 53 of file lts_dot.h.

Member Data Documentation

m_state_label

std::string mcrl2::lts::state_label_dot::m_state_label

private

Definition at line 37 of file lts_dot.h.

m_state_name

std::string mcrl2::lts::state_label_dot::m_state_name

private

Definition at line 36 of file lts_dot.h.

---

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

• lts/include/mcrl2/lts/lts_dot.h