souffle::ram::AbstractChoice Class Reference

Abstract class for a choice operation. More...

#include <AbstractChoice.h>

Inheritance diagram for souffle::ram::AbstractChoice:

Collaboration diagram for souffle::ram::AbstractChoice:

Public Member Functions
	AbstractChoice (Own< Condition > cond)
void	apply (const NodeMapper &map)
std::vector< const Node * >	getChildNodes () const
const Condition &	getCondition () const
	Getter for the condition. More...

Protected Member Functions
bool	equal (const Node &node) const

Protected Attributes
Own< Condition >	condition
	Condition for which a tuple in the relation may hold. More...

Detailed Description

Abstract class for a choice operation.

Finding a single tuple, if it exists, such that a condition holds.

Definition at line 38 of file AbstractChoice.h.

Constructor & Destructor Documentation

AbstractChoice()

souffle::ram::AbstractChoice::AbstractChoice ( Own< Condition >  cond )

inline

Definition at line 40 of file AbstractChoice.h.

                                          {
        assert(condition != nullptr && "condition of choice is a null-pointer");

References condition.

Member Function Documentation

apply()

void souffle::ram::AbstractChoice::apply ( const NodeMapper &  map )

inline

Definition at line 50 of file AbstractChoice.h.

                                                 {
        return {condition.get()};
    }

References condition.

equal()

bool souffle::ram::AbstractChoice::equal ( const Node &  node ) const

inlineprotected

Definition at line 59 of file AbstractChoice.h.

getChildNodes()

std::vector<const Node*> souffle::ram::AbstractChoice::getChildNodes ( ) const

inline

Definition at line 54 of file AbstractChoice.h.

         :
    bool equal(const Node& node) const {
        const auto& other = dynamic_cast<const AbstractChoice&>(node);

References condition, and souffle::equal_ptr().

Referenced by souffle::ram::Choice::clone().

Here is the call graph for this function:

getCondition()

const Condition& souffle::ram::AbstractChoice::getCondition ( ) const

inline

Getter for the condition.

Definition at line 45 of file AbstractChoice.h.

                                      {
        condition = map(std::move(condition));
    }

References condition, and souffle::map().

Here is the call graph for this function:

Field Documentation

condition

Own<Condition> souffle::ram::AbstractChoice::condition

protected

Condition for which a tuple in the relation may hold.

Definition at line 65 of file AbstractChoice.h.

Referenced by AbstractChoice(), apply(), getChildNodes(), getCondition(), and souffle::ram::ParallelChoice::ParallelChoice().

---

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

• ram/AbstractChoice.h