|
Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <NormalizeAbstraction.hpp>
Additional Inherited Members | |
Static Public Member Functions inherited from abstraction::ValueOperationAbstraction< ReturnType > | |
| template<typename ... ParamTypes, typename Callable > | |
| static std::shared_ptr< abstraction::Value > | run_helper (Callable callback, const ext::array< std::shared_ptr< abstraction::Value >, sizeof ...(ParamTypes) > &inputs) |
Protected Member Functions inherited from abstraction::NaryOperationAbstractionImpl< sizeof ...(ParamTypes) > | |
| const ext::array< std::shared_ptr< abstraction::Value >, NumberOfParams > & | getParams () const |
|
inlineoverridevirtual |
Implements abstraction::NaryOperationAbstractionImpl< sizeof ...(ParamTypes) >.