Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Static Public Member Functions
core::normalize< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > > Struct Template Reference

#include <VisiblyPushdownDPDA.h>

Static Public Member Functions

static automaton::VisiblyPushdownDPDA< > eval (automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &&value)
 

Detailed Description

template<class InputSymbolType, class PushdownStoreSymbolType, class StateType>
struct core::normalize< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >

Helper for normalisation of types specified by templates used as internal datatypes of symbols and states.

Returns
new instance of the automaton with default template parameters or unmodified instance if the template parameters were already the default ones

Member Function Documentation

◆ eval()

template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
static automaton::VisiblyPushdownDPDA< > core::normalize< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >::eval ( automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &&  value)
inlinestatic
Here is the call graph for this function:

The documentation for this struct was generated from the following file: