PrefixRankedBarNonlinearPattern.h File Reference

#include <common/DefaultSymbolType.h>
#include <numeric>
#include <ext/algorithm>
#include <alib/set>
#include <alib/vector>
#include <alib/tree>
#include <alib/deque>
#include <core/components.hpp>
#include <common/ranked_symbol.hpp>
#include <tree/TreeException.h>
#include <tree/common/TreeAuxiliary.h>
#include <alphabet/BarSymbol.h>
#include <alphabet/VariablesBarSymbol.h>
#include <alphabet/WildcardSymbol.h>
#include <core/normalize.hpp>
#include <tree/common/TreeNormalize.h>
#include <string/LinearString.h>
#include "PrefixRankedBarTree.h"
#include "PrefixRankedBarPattern.h"
#include "RankedTree.h"
#include "RankedPattern.h"
#include "RankedNonlinearPattern.h"

Include dependency graph for PrefixRankedBarNonlinearPattern.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	tree::PrefixRankedBarNonlinearPattern< SymbolType >
	Nonlinear tree pattern represented as linear sequece as result of preorder traversal with additional bar symbols. The representation is so called ranked, therefore it consists of ranked symbols (bars are ranked as well). The rank of the ranked symbol needs be to compatible with unsigned integer. Additionally the pattern contains a special wildcard symbol representing any subtree and nonlinear variables each to represent same subtree (in the particular occurrence in a tree). To match the wildcard and nonlinear variable, special bar symbol called variables bar is present as well. More...
class	core::SetConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
class	core::SetConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::BarSymbols >
class	core::SetConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::NonlinearAlphabet >
class	core::ElementConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
class	core::ElementConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::VariablesBarSymbol >
struct	core::normalize< tree::PrefixRankedBarNonlinearPattern< SymbolType > >

Namespaces
namespace	tree
namespace	core