Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <NPDA.h>
Static Public Member Functions | |
static automaton::NPDA< > | eval (automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &&value) |
Helper for normalisation of types specified by templates used as internal datatypes of symbols and states.
|
inlinestatic |