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