Represents variables bar symbol used in tree linearization.
More...
#include <VariablesBarSymbol.h>
|
| template<typename Base > |
| static Base | instance () |
| | Factory for the symbol construction of the symbol based on given type. More...
|
| |
Represents variables bar symbol used in tree linearization.
◆ VariablesBarSymbol()
| alphabet::VariablesBarSymbol::VariablesBarSymbol |
( |
| ) |
|
|
explicitdefault |
Creates a new instance of the symbol.
◆ instance()
template<typename Base >
| Base alphabet::VariablesBarSymbol::instance |
|
inlinestatic |
Factory for the symbol construction of the symbol based on given type.
◆ operator<=>()
| std::strong_ordering alphabet::VariablesBarSymbol::operator<=> |
( |
const VariablesBarSymbol & |
| ) |
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: