Represents the concatenation operator in the regular tree expression. The node must have exactly two children.
More...
|
| FormalRTESubstitution (FormalRTEElement< SymbolType > &&left, FormalRTEElement< SymbolType > &&right, FormalRTESymbolSubst< SymbolType > substitutionSymbol) |
| Creates a new instance of the substitution node with explicit tree to substitute in, tree to substitue by and a symbol representing place of substitution. More...
|
|
| FormalRTESubstitution (const FormalRTEElement< SymbolType > &left, const FormalRTEElement< SymbolType > &right, FormalRTESymbolSubst< SymbolType > substitutionSymbol) |
| Creates a new instance of the substitution node with explicit tree to substitute in, tree to substitue by and a symbol representing place of substitution. More...
|
|
FormalRTESubstitution< SymbolType > * | clone () const &override |
| < SymbolType >::clone ( ) const & More...
|
|
FormalRTESubstitution< SymbolType > * | clone () &&override |
| < SymbolType >::clone ( ) && More...
|
|
bool | testSymbol (const common::ranked_symbol< SymbolType > &symbol) const override |
| < SymbolType >::testSymbol ( 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 |
| < SymbolType >::computeMinimalAlphabet ( 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 |
| < SymbolType >::checkAlphabet ( 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 |
|
const FormalRTESymbolSubst< SymbolType > & | getSubstitutionSymbol () const |
|
FormalRTEElement< SymbolType > & | getLeftElement () |
|
FormalRTEElement< SymbolType > & | getRightElement () |
|
FormalRTESymbolSubst< SymbolType > & | getSubstitutionSymbol () |
|
void | setLeftElement (const FormalRTEElement< SymbolType > &element) |
|
void | setLeftElement (FormalRTEElement< SymbolType > &&element) |
|
void | setRightElement (const FormalRTEElement< SymbolType > &element) |
|
void | setRightElement (FormalRTEElement< SymbolType > &&element) |
|
void | setSubstitutionSymbol (FormalRTESymbolSubst< SymbolType > symbol) |
|
std::strong_ordering | operator<=> (const FormalRTEElement< SymbolType > &other) const override |
| < SymbolType >::operator <=> ( const FormalRTEElement < SymbolType > & other ) const; More...
|
|
std::strong_ordering | operator<=> (const FormalRTESubstitution< SymbolType > &) const |
|
bool | operator== (const FormalRTEElement< SymbolType > &other) const override |
| < SymbolType >::operator == ( const FormalRTEElement < SymbolType > & other ) const; More...
|
|
bool | operator== (const FormalRTESubstitution< SymbolType > &) const |
|
void | operator>> (ext::ostream &out) const override |
| < FormalRTEElement < SymbolType > >::operator >> ( ext::ostream & ) 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...
|
|
template<class SymbolType>
class rte::FormalRTESubstitution< SymbolType >
Represents the concatenation operator in the regular tree expression. The node must have exactly two children.
The structure is derived from BinaryNode that provides the children accessors.
The node can be visited by the FormalRTEElement < SymbolType >::Visitor
- Template Parameters
-
SymbolType | used for the symbol part of the ranked symbol |