Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Public Member Functions | Static Public Member Functions | Friends
label::InitialStateLabel Class Reference

Represents label of the final state of an automaton. More...

#include <InitialStateLabel.h>

Public Member Functions

 InitialStateLabel ()
 Creates a new instance of the label. More...
 
std::strong_ordering operator<=> (const InitialStateLabel &) const
 
bool operator== (const InitialStateLabel &) const
 

Static Public Member Functions

template<typename Base >
static Base instance ()
 Factory for the label construction of the label based on given type. More...
 

Friends

ext::ostreamoperator<< (ext::ostream &out, const InitialStateLabel &instance)
 

Detailed Description

Represents label of the final state of an automaton.

Constructor & Destructor Documentation

◆ InitialStateLabel()

label::InitialStateLabel::InitialStateLabel ( )
explicitdefault

Creates a new instance of the label.

Here is the caller graph for this function:

Member Function Documentation

◆ instance()

template<typename Base >
Base label::InitialStateLabel::instance
inlinestatic

Factory for the label construction of the label based on given type.

Here is the call graph for this function:

◆ operator<=>()

std::strong_ordering label::InitialStateLabel::operator<=> ( const InitialStateLabel ) const
inline

The three way comparison implementation

Parameters
otherthe other instance
Returns
the ordering between this object and the other.

◆ operator==()

bool label::InitialStateLabel::operator== ( const InitialStateLabel ) const
inline

The equality comparison implementation.

Parameters
otherthe other object to compare with.
Returns
true if this and other objects are equal, false othervise

Friends And Related Function Documentation

◆ operator<<

ext::ostream & operator<< ( ext::ostream out,
const InitialStateLabel instance 
)
friend

Print this object as raw representation to ostream.

Parameters
osostream where to print
instanceobject to print
Returns
modified output stream

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