|
| FormalRTEAlternation (FormalRTEElement< SymbolType > &&left, FormalRTEElement< SymbolType > &&right) |
| Creates a new instance of the alternation node with explicit alternated elements. More...
|
|
| FormalRTEAlternation (const FormalRTEElement< SymbolType > &left, const FormalRTEElement< SymbolType > &right) |
| Creates a new instance of the alternation node with explicit alternated elements. More...
|
|
FormalRTEAlternation< SymbolType > * | clone () const &override |
| ( ) const & More...
|
|
FormalRTEAlternation< SymbolType > * | clone () &&override |
| ( ) && More...
|
|
bool | testSymbol (const common::ranked_symbol< SymbolType > &symbol) const override |
| ( const common::ranked_symbol < SymbolType > & ) const More...
|
|
void | computeMinimalAlphabet (ext::set< common::ranked_symbol< SymbolType > > &alphabetF, ext::set< common::ranked_symbol< SymbolType > > &alphabetK) const override |
| ( ext::set < common::ranked_symbol < SymbolType > > &, ext::set < common::ranked_symbol < SymbolType > > & ) const More...
|
|
bool | checkAlphabet (const ext::set< common::ranked_symbol< SymbolType > > &alphabetF, const ext::set< common::ranked_symbol< SymbolType > > &alphabetK) const override |
| ( const ext::set < common::ranked_symbol < SymbolType > > &, const ext::set < common::ranked_symbol < SymbolType > > & ) const More...
|
|
const FormalRTEElement< SymbolType > & | getLeftElement () const |
|
const FormalRTEElement< SymbolType > & | getRightElement () const |
|
FormalRTEElement< SymbolType > & | getLeftElement () |
|
FormalRTEElement< SymbolType > & | getRightElement () |
|
void | setLeftElement (FormalRTEElement< SymbolType > &&element) |
|
void | setLeftElement (const FormalRTEElement< SymbolType > &element) |
|
void | setRightElement (FormalRTEElement< SymbolType > &&element) |
|
void | setRightElement (const FormalRTEElement< SymbolType > &element) |
|
std::strong_ordering | operator<=> (const FormalRTEElement< SymbolType > &other) const override |
| < SymbolType >::operator <=> ( const FormalRTEElement < SymbolType > & other ) const; More...
|
|
std::strong_ordering | operator<=> (const FormalRTEAlternation< SymbolType > &) const |
|
bool | operator== (const FormalRTEElement< SymbolType > &other) const override |
| < SymbolType >::operator == ( const FormalRTEElement < SymbolType > & other ) const; More...
|
|
bool | operator== (const FormalRTEAlternation< SymbolType > &) const |
|
void | operator>> (ext::ostream &out) const override |
| < SymbolType >::operator == ( const FormalRTEElement < SymbolType > & other ) const; More...
|
|
ext::smart_ptr< FormalRTEElement< DefaultSymbolType > > | normalize () &&override |
| < SymbolType >::normalize ( ) && More...
|
|
| BinaryNode (const FormalRTEElement< SymbolType > &l, const FormalRTEElement< SymbolType > &r) |
| Constructor of the class accepting the two child nodes. More...
|
|
| BinaryNode (FormalRTEElement< SymbolType > &&l, FormalRTEElement< SymbolType > &&r) |
| Constructor of the class accepting the two child nodes. More...
|
|
FormalRTEElement< SymbolType > & | getLeft () |
| Getter of the first child of the node. More...
|
|
const FormalRTEElement< SymbolType > & | getLeft () const |
| Getter of the first child of the node. More...
|
|
void | setLeft (const FormalRTEElement< SymbolType > &l) |
| Setter of the first child of the node. More...
|
|
void | setLeft (FormalRTEElement< SymbolType > &&l) |
| Setter of the first child of the node. More...
|
|
FormalRTEElement< SymbolType > & | getRight () |
| Getter of the second child of the node. More...
|
|
const FormalRTEElement< SymbolType > & | getRight () const |
| Getter of the second child of the node. More...
|
|
void | setRight (const FormalRTEElement< SymbolType > &r) |
| Setter of the second child of the node. More...
|
|
void | setRight (FormalRTEElement< SymbolType > &&r) |
| Setter of the second child of the node. More...
|
|
| AnyaryNode (ext::ptr_array< Data, arity > c) |
| Constructor based on array of child nodes. More...
|
|
| ~AnyaryNode () noexcept override=default |
| Destructor of the class. More...
|
|
| AnyaryNode (const AnyaryNode &other) |
| Copy constructor. More...
|
|
| AnyaryNode (AnyaryNode &&other) noexcept |
| Move constructor. More...
|
|
AnyaryNode & | operator= (const AnyaryNode &other) |
| Copy operator of assignment. More...
|
|
AnyaryNode & | operator= (AnyaryNode &&other) noexcept |
| move operator of assignment. More...
|
|
const ext::ptr_array< Data, arity > & | getChildren () & |
| Getter of the child nodes. More...
|
|
const ext::ptr_array< Data, arity > & | getChildren () const & |
| Getter of the child nodes. More...
|
|
ext::ptr_array< Data, arity > && | getChildren () && |
| Getter of the child nodes. More...
|
|
template<size_t N> |
const Data & | getChild () const |
| Getter of the child node based on compile time index. More...
|
|
template<size_t N> |
Data & | getChild () |
| Getter of the child node based on compile time index. More...
|
|
void | setChildren (ext::ptr_array< Data, arity > c) |
| Setter of the child nodes. More...
|
|
template<size_t N> |
void | setChild (const Data &d) |
| Setter of the child node based on compile time index. More...
|
|
template<size_t N> |
void | setChild (Data &&d) |
| Setter of the child node based on compile time index. More...
|
|
ext::ptr_array< Data, arity >::iterator | begin () |
| Getter of an iterator to the begining of children array. More...
|
|
ext::ptr_array< Data, arity >::const_iterator | begin () const |
| Getter of an iterator to the begining of children array. More...
|
|
ext::ptr_array< Data, arity >::iterator | end () |
| Getter of an iterator to the end of children array. More...
|
|
ext::ptr_array< Data, arity >::const_iterator | end () const |
| Getter of an iterator to the end of children array. More...
|
|