Skip to content
Snippets Groups Projects
Commit faae1158 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

allow ranked_symbol to be incremented

parent 9765a0bf
No related branches found
No related tags found
No related merge requests found
......@@ -80,6 +80,12 @@ public:
bool operator != ( const ranked_symbol & other ) const {
return compare ( other ) != 0;
}
ranked_symbol < SymbolType, RankType > & operator ++ ( ) {
++ m_symbol;
return *this;
}
};
 
template < class SymbolType, class RankType >
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment