Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <RightLG.h>
Static Public Member Functions | |
static bool | available (const grammar::RightLG< TerminalSymbolType, NonterminalSymbolType > &grammar, const NonterminalSymbolType &symbol) |
static void | valid (const grammar::RightLG< TerminalSymbolType, NonterminalSymbolType > &, const NonterminalSymbolType &) |
Helper class specifying constraints for the grammar's internal initial symbol element.
TerminalSymbolType | used for the terminal alphabet of the grammar. |
NonterminalSymbolType | used for the nonterminal alphabet, and 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 |