26 template <
class SymbolType >
30 template <
class SymbolType >
34template <
class SymbolType >
39 newRoot.push_back ( transformInternal (
node.getChildren ( ), terminalSymbol ) );
40 newRoot.push_back ( std::move ( root ) );
41 root = std::move ( newRoot );
46template <
class SymbolType >
57 root.
push_back ( transformInternal ( subject.
getContent ( ).getChildren ( ), terminalSymbol ) );
Definition: ranked_symbol.hpp:20
Class introducing a tree with interface trying to be close to the interface of standard library conta...
Definition: tree.hpp:52
void push_back(ext::tree< T > &&value)
Pushbacks a subtree after last child of a tree.
Definition: tree.hpp:983
Class extending the vector class from the standard library. Original reason is to allow printing of t...
Definition: vector.hpp:45
Tree structure represented in its natural representation. The representation is so called ranked,...
Definition: RankedTree.h:72
Tree represented in its natural representation. The representation is so called unranked,...
Definition: UnrankedTree.h:69
const ext::set< SymbolType > & getAlphabet() const &
Definition: UnrankedTree.h:112
const ext::tree< SymbolType > & getContent() const &
Definition: UnrankedTree.h:217
Definition: BarSymbol.cpp:12
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
T createUnique(T object, const Alphabets &... alphabets)
Definition: createUnique.hpp:46
reverser< T > make_reverse(T &&container)
Reverese adaptor construction function.
Definition: iterator.hpp:544
ContainerType< ResType > transform(const ContainerType< InType, Ts ... > &in, Callback transform)
In container tranformation of all elements according to the tranform.
Definition: algorithm.hpp:150
Definition: BackwardOccurrenceTest.h:17