RankedNonlinearPattern.h File Reference

#include <common/DefaultSymbolType.h>
#include <ext/iostream>
#include <ext/algorithm>
#include <alib/string>
#include <alib/set>
#include <alib/tree>
#include <core/components.hpp>
#include <common/ranked_symbol.hpp>
#include <tree/TreeException.h>
#include <tree/common/TreeAuxiliary.h>
#include <core/normalize.hpp>
#include <tree/common/TreeNormalize.h>
#include "../unranked/UnrankedNonlinearPattern.h"

Include dependency graph for RankedNonlinearPattern.h:

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

Go to the source code of this file.

Data Structures
class	tree::RankedNonlinearPattern< SymbolType >
	Nonlinear tree pattern represented in its natural representation. The representation is so called ranked, therefore it consists of ranked symbols. The rank of the ranked symbol needs to be 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). More...
class	core::SetConstraint< tree::RankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
class	core::SetConstraint< tree::RankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::NonlinearAlphabet >
class	core::ElementConstraint< tree::RankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
struct	core::normalize< tree::RankedNonlinearPattern< SymbolType > >

Namespaces
namespace	tree
namespace	core