28#include "../common/TreeFromXMLParser.h"
29#include "../common/TreeToXMLComposer.h"
33template <
class SymbolType >
34struct xmlApi <
tree::UnrankedNonlinearPattern < SymbolType > > {
43 return "UnrankedNonlinearPattern";
75template <
class SymbolType >
78 SymbolType subtreeWildcardSymbol = tree::TreeFromXMLParser::parseWildcardSymbol < SymbolType > ( input );
79 SymbolType subtreeGapSymbol = tree::TreeFromXMLParser::parseGapSymbol < SymbolType > ( input );
80 ext::set < SymbolType > nonlinearVariables = tree::TreeFromXMLParser::parseNonlinearVariables < SymbolType > ( input );
89template <
class SymbolType >
Class extending the deque class from the standard library. Original reason is to allow printing of th...
Definition: deque.hpp:44
Class introducing a tree with interface trying to be close to the interface of standard library conta...
Definition: tree.hpp:52
static void popToken(ext::deque< Token >::iterator &input, Token::TokenType type, const std::string &data)
Definition: FromXMLParserHelper.cpp:39
static bool isToken(ext::deque< Token >::const_iterator input, Token::TokenType type, const std::string &data)
Definition: FromXMLParserHelper.cpp:29
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 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 composeSubtreeWildcard(ext::deque< sax::Token > &out, const SymbolType &symbol)
Definition: TreeToXMLComposer.h:72
Nonlinear tree pattern represented in its natural representation. The representation is so called unr...
Definition: UnrankedNonlinearPattern.h:75
const ext::set< SymbolType > & getNonlinearVariables() const &
Definition: UnrankedNonlinearPattern.h:196
const SymbolType & getSubtreeGap() const &
Definition: UnrankedNonlinearPattern.h:178
const ext::set< SymbolType > & getAlphabet() const &
Definition: UnrankedNonlinearPattern.h:133
const SymbolType & getSubtreeWildcard() const &
Definition: UnrankedNonlinearPattern.h:160
const ext::tree< SymbolType > & getContent() const &
Definition: UnrankedNonlinearPattern.h:299
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
Definition: normalize.hpp:10
Definition: BackwardOccurrenceTest.h:17
static bool first(const ext::deque< sax::Token >::const_iterator &input)
Tests whether the token stream starts with this type.
Definition: UnrankedNonlinearPattern.h:53
static std::string xmlTagName()
The XML tag name of class.
Definition: UnrankedNonlinearPattern.h:42
Definition: xmlApi.hpp:27