souffle::ram::AbstractExistenceCheck Class Reference

Abstract existence check for a tuple in a relation. More...

#include <AbstractExistenceCheck.h>

Inheritance diagram for souffle::ram::AbstractExistenceCheck:

Collaboration diagram for souffle::ram::AbstractExistenceCheck:

Public Member Functions
	AbstractExistenceCheck (std::string rel, VecOwn< Expression > vals)
void	apply (const NodeMapper &map) override
	Apply the mapper to all child nodes. More...
std::vector< const Node * >	getChildNodes () const override
	Obtain list of all embedded child nodes. More...
const std::string &	getRelation () const
	Get relation. More...
const std::vector< Expression * >	getValues () const
	Get arguments of the tuple/pattern A null pointer element in the vector denotes an unspecified pattern for a tuple element. More...
Public Member Functions inherited from souffle::ram::Condition
Condition *	clone () const override=0
	Create a clone (i.e. More...
Public Member Functions inherited from souffle::ram::Node
bool	operator!= (const Node &other) const
	Inequality check for two RAM nodes. More...
bool	operator== (const Node &other) const
	Equivalence check for two RAM nodes. More...
virtual void	rewrite (const Node *oldNode, Own< Node > newNode)
	Rewrite a child node. More...
virtual	~Node ()=default

Protected Member Functions
bool	equal (const Node &node) const override
	Equality check for two RAM nodes. More...
void	print (std::ostream &os) const override
	Print RAM node. More...

Protected Attributes
const std::string	relation
	Relation. More...
VecOwn< Expression >	values
	Search tuple. More...

Detailed Description

Abstract existence check for a tuple in a relation.

Definition at line 47 of file AbstractExistenceCheck.h.

Constructor & Destructor Documentation

AbstractExistenceCheck()

souffle::ram::AbstractExistenceCheck::AbstractExistenceCheck ( std::string  rel, VecOwn< Expression >  vals  )

inline

Definition at line 49 of file AbstractExistenceCheck.h.

                                         {
        return relation;
    }
 
    /**

References relation.

Member Function Documentation

apply()

void souffle::ram::AbstractExistenceCheck::apply ( const NodeMapper &  )

inlineoverridevirtual

Apply the mapper to all child nodes.

Reimplemented from souffle::ram::Node.

Definition at line 78 of file AbstractExistenceCheck.h.

                                              {
        os << "(" << join(values, ",") << ") ∈ " << relation;
    }
 
    bool equal(const Node& node) const override {

References souffle::join(), relation, and values.

Here is the call graph for this function:

equal()

bool souffle::ram::AbstractExistenceCheck::equal ( const Node &  ) const

inlineoverrideprotectedvirtual

Equality check for two RAM nodes.

Default action is that nothing needs to be checked.

Reimplemented from souffle::ram::Node.

Definition at line 89 of file AbstractExistenceCheck.h.

getChildNodes()

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

inlineoverridevirtual

Obtain list of all embedded child nodes.

Reimplemented from souffle::ram::Node.

Definition at line 70 of file AbstractExistenceCheck.h.

                                               {
        for (auto& val : values) {
            val = map(std::move(val));
        }
    }
 

References souffle::map(), and values.

Here is the call graph for this function:

getRelation()

const std::string& souffle::ram::AbstractExistenceCheck::getRelation ( ) const

inline

Get relation.

Definition at line 57 of file AbstractExistenceCheck.h.

                                                   {

References souffle::toPtrVector(), and values.

Here is the call graph for this function:

getValues()

const std::vector<Expression*> souffle::ram::AbstractExistenceCheck::getValues ( ) const

inline

Get arguments of the tuple/pattern A null pointer element in the vector denotes an unspecified pattern for a tuple element.

Definition at line 66 of file AbstractExistenceCheck.h.

                                               {

print()

void souffle::ram::AbstractExistenceCheck::print ( std::ostream &  out ) const

inlineoverrideprotectedvirtual

Print RAM node.

Implements souffle::ram::Node.

Reimplemented in souffle::ram::ProvenanceExistenceCheck.

Definition at line 85 of file AbstractExistenceCheck.h.

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

Field Documentation

relation

const std::string souffle::ram::AbstractExistenceCheck::relation

protected

Relation.

Definition at line 95 of file AbstractExistenceCheck.h.

Referenced by AbstractExistenceCheck(), and apply().

values

VecOwn<Expression> souffle::ram::AbstractExistenceCheck::values

protected

Search tuple.

Definition at line 98 of file AbstractExistenceCheck.h.

Referenced by apply(), getChildNodes(), and getRelation().

---

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

• ram/AbstractExistenceCheck.h