Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <FormalRTE.h>
Static Public Member Functions | |
static bool | used (const rte::FormalRTE< SymbolType > &rte, const common::ranked_symbol< SymbolType > &symbol) |
static bool | available (const rte::FormalRTE< SymbolType > &, const common::ranked_symbol< SymbolType > &) |
static void | valid (const rte::FormalRTE< SymbolType > &rte, const common::ranked_symbol< SymbolType > &symbol) |
Helper class specifying constraints for the expression's internal terminal alphabet component.
SymbolType | used for the symbol part of the ranked symbol |
|
inlinestatic |
Returns true as all symbols are possibly available to be elements of the terminal alphabet.
rte | the tested expresion |
symbol | the tested state |
|
inlinestatic |
Returns true if the symbol is still used somewhere in the structure of the expression.
rte | the tested expresion |
symbol | the tested symbol |
|
inlinestatic |
Throws exception if the symbol is already a part of the substitution alphabet.
rte | the tested expresion |
symbol | the tested state |