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