Represents label of the final state of an automaton.
More...
#include <FinalStateLabel.h>
|
| template<typename Base > |
| static Base | instance () |
| | Factory for the label construction of the label based on given type. More...
|
| |
Represents label of the final state of an automaton.
◆ FinalStateLabel()
| label::FinalStateLabel::FinalStateLabel |
( |
| ) |
|
|
explicitdefault |
Creates a new instance of the label.
◆ instance()
template<typename Base >
| Base label::FinalStateLabel::instance |
|
inlinestatic |
Factory for the label construction of the label based on given type.
◆ operator<=>()
| std::strong_ordering label::FinalStateLabel::operator<=> |
( |
const FinalStateLabel & |
| ) |
const |
|
inline |
The three way comparison implementation
- Parameters
-
- Returns
- the ordering between this object and the
other.
◆ operator==()
The equality comparison implementation.
- Parameters
-
| other | the other object to compare with. |
- Returns
- true if this and other objects are equal, false othervise
◆ operator<<
Print this object as raw representation to ostream.
- Parameters
-
| os | ostream where to print |
| instance | object to print |
- Returns
- modified output stream
The documentation for this class was generated from the following files: