souffle::ram::LambdaNodeMapper< Lambda > Class Template Reference

A special NodeMapper wrapping a lambda conducting node transformations. More...

#include <LambdaNodeMapper.h>

Inheritance diagram for souffle::ram::LambdaNodeMapper< Lambda >:

Collaboration diagram for souffle::ram::LambdaNodeMapper< Lambda >:

Public Member Functions
	LambdaNodeMapper (const Lambda &lambda)
	Constructor for LambdaNodeMapper. More...
Own< Node >	operator() (Own< Node > node) const override
	Applies lambda. More...
Public Member Functions inherited from souffle::ram::NodeMapper
template<typename T >
Own< T >	operator() (Own< T > node) const
	Wrapper for any subclass of the RAM node hierarchy performing type casts. More...
virtual	~NodeMapper ()=default

Private Attributes
const Lambda &	lambda

Detailed Description

template<typename Lambda>
class souffle::ram::LambdaNodeMapper< Lambda >

A special NodeMapper wrapping a lambda conducting node transformations.

Definition at line 44 of file LambdaNodeMapper.h.

Constructor & Destructor Documentation

LambdaNodeMapper()

template<typename Lambda >

souffle::ram::LambdaNodeMapper< Lambda >::LambdaNodeMapper ( const Lambda &  lambda )

inline

Constructor for LambdaNodeMapper.

Definition at line 51 of file LambdaNodeMapper.h.

{

Member Function Documentation

operator()()

template<typename Lambda >

Own<Node> souffle::ram::LambdaNodeMapper< Lambda >::operator() ( Own< Node >  node ) const

inlineoverridevirtual

Applies lambda.

Implements souffle::ram::NodeMapper.

Definition at line 56 of file LambdaNodeMapper.h.

                                                                   {

Field Documentation

lambda

template<typename Lambda >

const Lambda& souffle::ram::LambdaNodeMapper< Lambda >::lambda

private

Definition at line 45 of file LambdaNodeMapper.h.

---

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

• ram/utility/LambdaNodeMapper.h