Represents label of the final state of an automaton.
More...
#include <InitialStateLabel.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.
◆ InitialStateLabel()
label::InitialStateLabel::InitialStateLabel |
( |
| ) |
|
|
explicitdefault |
Creates a new instance of the label.
◆ instance()
template<typename Base >
Base label::InitialStateLabel::instance |
|
inlinestatic |
Factory for the label construction of the label based on given type.
◆ operator<=>()
std::strong_ordering label::InitialStateLabel::operator<=> |
( |
const InitialStateLabel & |
| ) |
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: