Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <UnrankedNonlinearPattern.h>
Static Public Member Functions | |
static bool | used (const tree::UnrankedNonlinearPattern< SymbolType > &, const SymbolType &) |
static bool | available (const tree::UnrankedNonlinearPattern< SymbolType > &pattern, const SymbolType &symbol) |
static void | valid (const tree::UnrankedNonlinearPattern< SymbolType > &pattern, const SymbolType &symbol) |
Helper class specifying constraints for the pattern's internal nonlinear variables component.
SymbolType | used for the symbol of the alphabet |
|
inlinestatic |
Determines whether the symbol is available in the pattern's alphabet.
pattern | the tested pattern |
symbol | the tested symbol |
|
inlinestatic |
Returns false. Nonlinear symbol is only a mark that the pattern itself does require further.
pattern | the tested pattern |
symbol | the tested symbol |
|
inlinestatic |
Nonlinear variable needs to have zero arity and needs to be different from subtree wildcard.
pattern | the tested pattern |
symbol | the tested symbol |
TreeException | if the symbol does not have zero arity |