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