Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <RankedExtendedPattern.h>
Static Public Member Functions | |
static bool | used (const tree::RankedExtendedPattern< SymbolType > &, const common::ranked_symbol< SymbolType > &) |
static bool | available (const tree::RankedExtendedPattern< SymbolType > &pattern, const common::ranked_symbol< SymbolType > &symbol) |
static void | valid (const tree::RankedExtendedPattern< SymbolType > &pattern, const common::ranked_symbol< SymbolType > &symbol) |
Helper class specifying constraints for the pattern's internal node wildcards component.
SymbolType | used for the symbol part of the ranked symbols of the node wildcards of the pattern. |
|
inlinestatic |
Node wildcards must already be in the alphabet.
pattern | the tested pattern |
symbol | the tested symbol |
|
inlinestatic |
Any node wildcard may be changed to a regular node.
pattern | the tested pattern |
symbol | the tested symbol |
|
inlinestatic |
Node wildcard cannot be a subtree wildcard at the same time.
pattern | the tested pattern |
symbol | the tested symbol |
TreeException | if the symbol is already a subtree wildcard |