Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Concepts
Public Member Functions | Protected Member Functions
abstraction::AnyaryOperationAbstractionImpl Class Referenceabstract

#include <AnyaryOperationAbstraction.hpp>

Inheritance diagram for abstraction::AnyaryOperationAbstractionImpl:
[legend]
Collaboration diagram for abstraction::AnyaryOperationAbstractionImpl:
[legend]

Public Member Functions

 AnyaryOperationAbstractionImpl ()=default
 
bool inputsAttached () const override
 
std::shared_ptr< abstraction::Valueeval () override
 
size_t numberOfParams () const override
 
- Public Member Functions inherited from abstraction::OperationAbstraction
virtual ~OperationAbstraction () noexcept=default
 
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::OperationAbstractiongetProxyAbstraction ()
 

Protected Member Functions

const ext::vector< std::shared_ptr< abstraction::Value > > & getParams () const
 
virtual std::shared_ptr< abstraction::Valuerun () const =0
 

Constructor & Destructor Documentation

◆ AnyaryOperationAbstractionImpl()

abstraction::AnyaryOperationAbstractionImpl::AnyaryOperationAbstractionImpl ( )
default

Member Function Documentation

◆ eval()

std::shared_ptr< abstraction::Value > abstraction::AnyaryOperationAbstractionImpl::eval ( )
overridevirtual

Implements abstraction::OperationAbstraction.

Here is the call graph for this function:

◆ getParams()

const ext::vector< std::shared_ptr< abstraction::Value > > & abstraction::AnyaryOperationAbstractionImpl::getParams ( ) const
inlineprotected
Here is the caller graph for this function:

◆ inputsAttached()

bool abstraction::AnyaryOperationAbstractionImpl::inputsAttached ( ) const
overridevirtual

Implements abstraction::OperationAbstraction.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ numberOfParams()

size_t abstraction::AnyaryOperationAbstractionImpl::numberOfParams ( ) const
inlineoverridevirtual

◆ run()

virtual std::shared_ptr< abstraction::Value > abstraction::AnyaryOperationAbstractionImpl::run ( ) const
protectedpure virtual

Implemented in abstraction::SetAbstraction< ParamType >.

Here is the caller graph for this function:

The documentation for this class was generated from the following files: