Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <UnorderedUnrankedTree.h>
Static Public Member Functions | |
static bool | used (const tree::UnorderedUnrankedTree< SymbolType > &tree, const SymbolType &symbol) |
static bool | available (const tree::UnorderedUnrankedTree< SymbolType > &, const SymbolType &) |
static void | valid (const tree::UnorderedUnrankedTree< SymbolType > &, const SymbolType &) |
Helper class specifying constraints for the pattern's internal alphabet component.
SymbolType | used for the symbol of the alphabet |
|
inlinestatic |
Returns true as all symbols are possibly available to be in an alphabet.
pattern | the tested pattern |
symbol | the tested symbol |
|
inlinestatic |
Returns true if the symbol is still used in the pattern.
pattern | the tested pattern |
symbol | the tested symbol |
|
inlinestatic |
All symbols are valid as symbols of an alphabet.
pattern | the tested pattern |
symbol | the tested symbol |