Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <CNF.h>
Static Public Member Functions | |
static grammar::CNF< > | eval (grammar::CNF< TerminalSymbolType, NonterminalSymbolType > &&value) |
Helper for normalisation of types specified by templates used as internal datatypes of symbols.
|
inlinestatic |