#include <common/DefaultSymbolType.h>
#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 "RankedPattern.h"
#include "PrefixRankedBarTree.h"
Go to the source code of this file.
|
class | tree::PrefixRankedBarPattern< SymbolType > |
| 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 to be compatible with unsigned integer. Additionally the pattern contains a special wildcard symbol representing any subtree. To match the wildcard, special bar symbol called variables bar is present as well. More...
|
|
class | core::SetConstraint< tree::PrefixRankedBarPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet > |
|
class | core::SetConstraint< tree::PrefixRankedBarPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::BarSymbols > |
|
class | core::ElementConstraint< tree::PrefixRankedBarPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard > |
|
class | core::ElementConstraint< tree::PrefixRankedBarPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::VariablesBarSymbol > |
|
struct | core::normalize< tree::PrefixRankedBarPattern< SymbolType > > |
|