souffle::ram::Constraint Class Reference

Evaluates a binary constraint with respect to two Expressions. More...

#include <Constraint.h>

Inheritance diagram for souffle::ram::Constraint:

Collaboration diagram for souffle::ram::Constraint:

Public Member Functions
void	apply (const NodeMapper &map) override
	Apply the mapper to all child nodes. More...
Constraint *	clone () const override
	Create a clone (i.e. More...
	Constraint (BinaryConstraintOp op, Own< Expression > l, Own< Expression > r)
std::vector< const Node * >	getChildNodes () const override
	Obtain list of all embedded child nodes. More...
const Expression &	getLHS () const
	Get left-hand side. More...
BinaryConstraintOp	getOperator () const
	Get operator symbol. More...
const Expression &	getRHS () const
	Get right-hand side. 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
Own< Expression >	lhs
	Left-hand side of constraint. More...
const BinaryConstraintOp	op
	Operator. More...
Own< Expression >	rhs
	Right-hand side of constraint. More...

Detailed Description

Evaluates a binary constraint with respect to two Expressions.

Condition is true if the constraint (a logical operator such as "<") holds between the two operands

The following example checks the equality of the two given tuple elements:

t0.1 = t1.0

Definition at line 55 of file Constraint.h.

Constructor & Destructor Documentation

Constraint()

souffle::ram::Constraint::Constraint ( BinaryConstraintOp  op, Own< Expression >  l, Own< Expression >  r  )

inline

Definition at line 57 of file Constraint.h.

                                     {
        return *lhs;
    }
 
    /** @brief Get right-hand side */

References lhs.

Referenced by getOperator().

Member Function Documentation

apply()

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

inlineoverridevirtual

Apply the mapper to all child nodes.

Reimplemented from souffle::ram::Node.

Definition at line 86 of file Constraint.h.

                                                {

clone()

Constraint* souffle::ram::Constraint::clone ( ) const

inlineoverridevirtual

Create a clone (i.e.

deep copy) of this node

Implements souffle::ram::Condition.

Definition at line 82 of file Constraint.h.

         :
    void print(std::ostream& os) const override {

equal()

bool souffle::ram::Constraint::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 98 of file Constraint.h.

getChildNodes()

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

inlineoverridevirtual

Obtain list of all embedded child nodes.

Reimplemented from souffle::ram::Node.

Definition at line 78 of file Constraint.h.

                                               {
        lhs = map(std::move(lhs));

References lhs, souffle::map(), and rhs.

Here is the call graph for this function:

getLHS()

const Expression& souffle::ram::Constraint::getLHS ( ) const

inline

Get left-hand side.

Definition at line 64 of file Constraint.h.

                                           {

getOperator()

BinaryConstraintOp souffle::ram::Constraint::getOperator ( ) const

inline

Get operator symbol.

Definition at line 74 of file Constraint.h.

                                       {
        return new Constraint(op, souffle::clone(lhs), souffle::clone(rhs));

References souffle::clone(), Constraint(), lhs, op, and rhs.

Here is the call graph for this function:

getRHS()

const Expression& souffle::ram::Constraint::getRHS ( ) const

inline

Get right-hand side.

Definition at line 69 of file Constraint.h.

                                                          {

print()

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

inlineoverrideprotectedvirtual

Print RAM node.

Implements souffle::ram::Node.

Definition at line 92 of file Constraint.h.

Field Documentation

lhs

Own<Expression> souffle::ram::Constraint::lhs

protected

Left-hand side of constraint.

Definition at line 107 of file Constraint.h.

Referenced by Constraint(), getChildNodes(), and getOperator().

op

const BinaryConstraintOp souffle::ram::Constraint::op

protected

Operator.

Definition at line 104 of file Constraint.h.

Referenced by getOperator().

rhs

Own<Expression> souffle::ram::Constraint::rhs

protected

Right-hand side of constraint.

Definition at line 110 of file Constraint.h.

Referenced by getChildNodes(), and getOperator().

---

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

• ram/Constraint.h