|
| 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.
|
|
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.
|
|
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 36 of file lts_dot.h.