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