22 template <
class SymbolType >
25 template <
class SymbolType >
27 template <
class SymbolType >
29 template <
class SymbolType >
32 template <
class SymbolType >
35 template <
class SymbolType >
38 template <
class SymbolType >
40 template <
class SymbolType >
43 template <
class SymbolType >
47template <
class SymbolType >
54template <
class SymbolType >
58 for (
const auto & symbol : symbols )
64template <
class SymbolType >
71template <
class SymbolType >
78template <
class SymbolType >
85template <
class SymbolType >
89 for (
const auto & symbol : symbols )
95template <
class SymbolType >
99 for (
const auto & symbol : content )
105template <
class SymbolType >
112 while ( iter.getLevel ( ) > level ) {
120 while ( iter.getLevel ( ) < level ) {
129template <
class SymbolType >
133 for (
const auto & symbol : symbols )
The iterator type over structure of the tree following preorder traversal.
Definition: tree.hpp:363
Class introducing a tree with interface trying to be close to the interface of standard library conta...
Definition: tree.hpp:52
const_prefix_iterator prefix_begin() const
Getter of the prefix iterator to the root node.
Definition: tree.hpp:904
const_prefix_iterator prefix_end() const
Getter of the prefix iterator one after the last node in the prefix traversal.
Definition: tree.hpp:914
Class extending the vector class from the standard library. Original reason is to allow printing of t...
Definition: vector.hpp:45
Definition: TreeToXMLComposer.h:20
static void composeAlphabet(ext::deque< sax::Token > &out, const ext::set< SymbolType > &symbols)
Definition: TreeToXMLComposer.h:86
static void composeSubtreeGap(ext::deque< sax::Token > &out, const SymbolType &symbol)
Definition: TreeToXMLComposer.h:79
static void composeBar(ext::deque< sax::Token > &out, const SymbolType &symbol)
Definition: TreeToXMLComposer.h:48
static void composeContent(ext::deque< sax::Token > &out, const ext::vector< SymbolType > &content)
Definition: TreeToXMLComposer.h:96
static void composeNonlinearVariables(ext::deque< sax::Token > &out, const ext::set< SymbolType > &symbols)
Definition: TreeToXMLComposer.h:130
static void composeBars(ext::deque< sax::Token > &out, const ext::set< SymbolType > &symbols)
Definition: TreeToXMLComposer.h:55
static void composeVariablesBar(ext::deque< sax::Token > &out, const SymbolType &symbol)
Definition: TreeToXMLComposer.h:65
static void composeSubtreeWildcard(ext::deque< sax::Token > &out, const SymbolType &symbol)
Definition: TreeToXMLComposer.h:72
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
Definition: BackwardOccurrenceTest.h:17
Definition: xmlApi.hpp:27