Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <PackingAbstraction.hpp>
Data Structures | |
struct | ConnectionTarget |
class | LazyValue |
Public Member Functions | |
PackingAbstractionImpl (const ext::vector< std::shared_ptr< abstraction::OperationAbstraction > > &abstractions) | |
void | setInnerConnection (size_t sourceId, size_t targetId, size_t paramPosition) |
void | clearInnerConnection (size_t targetId, size_t paramPosition) |
bool | inputsAttached () const override |
![]() | |
virtual void | attachInput (const std::shared_ptr< abstraction::Value > &input, size_t index)=0 |
virtual void | detachInput (size_t index)=0 |
virtual | ~OperationAbstraction () noexcept=default |
virtual std::shared_ptr< abstraction::Value > | eval ()=0 |
virtual size_t | numberOfParams () const =0 |
virtual bool | isParamTypeUniversal (size_t) const |
virtual bool | isReturnTypeUniversal () const |
virtual ext::type_index | getParamTypeIndex (size_t index) const =0 |
virtual ext::type_index | getReturnTypeIndex () const =0 |
std::string | getParamType (size_t index) const |
virtual abstraction::TypeQualifiers::TypeQualifierSet | getParamTypeQualifiers (size_t index) const =0 |
std::string | getReturnType () const |
virtual abstraction::TypeQualifiers::TypeQualifierSet | getReturnTypeQualifiers () const =0 |
virtual std::shared_ptr< abstraction::OperationAbstraction > | getProxyAbstraction () |
Protected Member Functions | |
const ext::vector< std::shared_ptr< LazyValue > > & | getAbstractions () const |
|
inlineexplicit |
|
inline |
|
inlineprotected |
|
inlineoverridevirtual |
Implements abstraction::OperationAbstraction.
|
inline |