Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <PrefixRankedBarTree.h>
Static Public Member Functions | |
static bool | used (const tree::PrefixRankedBarTree< SymbolType > &tree, const common::ranked_symbol< SymbolType > &symbol) |
static bool | available (const tree::PrefixRankedBarTree< SymbolType > &tree, const common::ranked_symbol< SymbolType > &symbol) |
static void | valid (const tree::PrefixRankedBarTree< SymbolType > &, const common::ranked_symbol< SymbolType > &) |
Helper class specifying constraints for the tree's internal bar set component.
SymbolType | used for the symbol part of the ranked symbols of the alphabet of the pattern. |
|
inlinestatic |
Determines whether the symbol is available in the tree's alphabet.
tree | the tested tree |
symbol | the tested symbol |
|
inlinestatic |
Returns true if the symbol is still used in the tree.
tree | the tested tree |
symbol | the tested symbol |
|
inlinestatic |
All symbols are valid as a bar symbol of the tree.
tree | the tested tree |
symbol | the tested symbol |