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