Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Public Member Functions
common::ranked_symbol< SymbolType > Class Template Reference

#include <ranked_symbol.hpp>

Public Member Functions

 ranked_symbol (SymbolType symbol, size_t rank)
 
const SymbolType & getSymbol () const &
 
SymbolType && getSymbol () &&
 
const size_t & getRank () const &
 
size_t getRank () &&
 
auto operator<=> (const ranked_symbol &other) const
 
bool operator== (const ranked_symbol &other) const
 
ranked_symbol< SymbolType > & operator++ ()
 

Detailed Description

template<class SymbolType = DefaultSymbolType>
class common::ranked_symbol< SymbolType >

Represents symbol in an std.

Constructor & Destructor Documentation

◆ ranked_symbol()

template<class SymbolType >
common::ranked_symbol< SymbolType >::ranked_symbol ( SymbolType  symbol,
size_t  rank 
)
explicit

Creates new symbol with given name and rank.

Parameters
symbolname of the symbol
rankof the symbol

Member Function Documentation

◆ getRank() [1/2]

template<class SymbolType = DefaultSymbolType>
size_t common::ranked_symbol< SymbolType >::getRank ( ) &&
Returns
rank of the symbol

◆ getRank() [2/2]

template<class SymbolType = DefaultSymbolType>
const size_t & common::ranked_symbol< SymbolType >::getRank ( ) const &
Returns
rank of the symbol
Here is the caller graph for this function:

◆ getSymbol() [1/2]

template<class SymbolType = DefaultSymbolType>
SymbolType && common::ranked_symbol< SymbolType >::getSymbol ( ) &&
Returns
name of the symbol

◆ getSymbol() [2/2]

template<class SymbolType = DefaultSymbolType>
const SymbolType & common::ranked_symbol< SymbolType >::getSymbol ( ) const &
Returns
name of the symbol
Here is the caller graph for this function:

◆ operator++()

template<class SymbolType = DefaultSymbolType>
ranked_symbol< SymbolType > & common::ranked_symbol< SymbolType >::operator++ ( )
inline

◆ operator<=>()

template<class SymbolType = DefaultSymbolType>
auto common::ranked_symbol< SymbolType >::operator<=> ( const ranked_symbol< SymbolType > &  other) const
inline
Here is the call graph for this function:

◆ operator==()

template<class SymbolType = DefaultSymbolType>
bool common::ranked_symbol< SymbolType >::operator== ( const ranked_symbol< SymbolType > &  other) const
inline
Here is the call graph for this function:

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