mcrl2::lts::state_label_dot

Include file:

#include "mcrl2/lts/lts_dot.h

class mcrl2::lts::state_label_dot

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.

Private attributes

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

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

Public member functions

std::string label() const

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

std::string name() const

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

bool operator!=(const state_label_dot &l) const

Standard inequality operator. Just the negation of equality.

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.

void set_label(const std::string &s)

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

void set_name(const std::string &s)

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

state_label_dot()

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.