19template <
class SymbolType = DefaultSymbolType >
45 const size_t &
getRank ( )
const &;
53 return ext::tie ( m_symbol, m_rank ) <=>
ext::tie ( other.m_symbol, other.m_rank );
57 return ext::tie ( m_symbol, m_rank ) ==
ext::tie ( other.m_symbol, other.m_rank );
67template <
class SymbolType >
72template <
class SymbolType >
77template <
class SymbolType >
79 return std::move ( m_symbol );
82template <
class SymbolType >
87template <
class SymbolType >
92template <
class SymbolType >
94 out <<
"(ranked_symbol " << symbol.
getSymbol ( ) <<
" #" << symbol.
getRank ( ) <<
")";
Definition: ranked_symbol.hpp:20
ranked_symbol< SymbolType > & operator++()
Definition: ranked_symbol.hpp:60
ranked_symbol(SymbolType symbol, size_t rank)
Definition: ranked_symbol.hpp:68
auto operator<=>(const ranked_symbol &other) const
Definition: ranked_symbol.hpp:52
const SymbolType & getSymbol() const &
Definition: ranked_symbol.hpp:73
bool operator==(const ranked_symbol &other) const
Definition: ranked_symbol.hpp:56
const size_t & getRank() const &
Definition: ranked_symbol.hpp:83
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
Definition: Permutation.hpp:18
ext::ostream & operator<<(ext::ostream &out, const common::ranked_symbol< SymbolType > &symbol)
Definition: ranked_symbol.hpp:93
constexpr tuple< Elements &... > tie(Elements &... args) noexcept
Helper of extended tuple of references construction. The tuple is constructed to reffer to values in ...
Definition: tuple.hpp:218