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