17 template <
class SymbolType >
19 template <
class SymbolType >
21 template <
class SymbolType >
23 template <
class SymbolType >
27template <
class SymbolType >
39template <
class SymbolType >
41 if (
node.getData ( ) == subtreeWildcard ) {
50 compose ( out, subtreeWildcard, child );
55template <
class SymbolType >
67template <
class SymbolType >
69 if (
node.getData ( ) == subtreeWildcard ) {
71 }
else if (
node.getData ( ) == subtreeWildcard ) {
78 compose ( out, subtreeWildcard, subtreeGap, child );
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
Definition: TreeToStringComposerCommon.h:15
static void compose(ext::ostream &, const ext::tree< common::ranked_symbol< SymbolType > > &node)
Definition: TreeToStringComposerCommon.h:28
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
std::string to_string(const T &value)
To string method designated for objects that can be casted to string.
Definition: string.hpp:131
Definition: BackwardOccurrenceTest.h:17
Definition: stringApi.hpp:26