souffle::ast::BinaryConstraint Class Reference

Binary constraint class. More...

#include <BinaryConstraint.h>

Inheritance diagram for souffle::ast::BinaryConstraint:

Collaboration diagram for souffle::ast::BinaryConstraint:

Public Member Functions
void	apply (const NodeMapper &map) override
	BinaryConstraint (BinaryConstraintOp o, Own< Argument > ls, Own< Argument > rs, SrcLocation loc={})
BinaryConstraint *	clone () const override
BinaryConstraintOp	getBaseOperator () const
	Return binary operator. More...
std::vector< const Node * >	getChildNodes () const override
std::optional< BinaryConstraintOp >	getFinalType () const
Argument *	getLHS () const
	Return left-hand side argument. More...
Argument *	getRHS () const
	Return right-hand side argument. More...
void	setBaseOperator (BinaryConstraintOp op)
	Set binary operator. More...
void	setFinalType (BinaryConstraintOp newType)
Public Member Functions inherited from souffle::ast::analysis::Constraint< Var >
virtual bool	update (Assignment< Var > &ass) const =0
	Requests the given assignment to be updated according to this constraint. More...
virtual	~Constraint ()=default
	A virtual destructor. More...

Protected Member Functions
bool	equal (const Node &node) const override
void	print (std::ostream &os) const override
	Adds print support for constraints (debugging) More...

Protected Attributes
std::optional< BinaryConstraintOp >	finalTranslatorType
Own< Argument >	lhs
	Left-hand side argument of binary constraint. More...
BinaryConstraintOp	operation
	Constraint (base) operator. More...
Own< Argument >	rhs
	Right-hand side argument of binary constraint. More...

Detailed Description

Binary constraint class.

Example: x = y

A binary constraint has a constraint operator, a left-hand side expression, and right-hand side expression.

Definition at line 53 of file BinaryConstraint.h.

Constructor & Destructor Documentation

BinaryConstraint()

souffle::ast::BinaryConstraint::BinaryConstraint ( BinaryConstraintOp  o, Own< Argument >  ls, Own< Argument >  rs, SrcLocation  loc = {}  )

inline

Definition at line 55 of file BinaryConstraint.h.

                             {

Member Function Documentation

apply()

void souffle::ast::BinaryConstraint::apply ( const NodeMapper &  map )

inlineoverride

Definition at line 86 of file BinaryConstraint.h.

               {lhs.get(), rhs.get()};
    }
 
    void setFinalType(BinaryConstraintOp newType) {

References lhs, and rhs.

clone()

BinaryConstraint* souffle::ast::BinaryConstraint::clone ( ) const

inlineoverride

Definition at line 78 of file BinaryConstraint.h.

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

equal()

bool souffle::ast::BinaryConstraint::equal ( const Node &  node ) const

inlineoverrideprotected

Definition at line 112 of file BinaryConstraint.h.

getBaseOperator()

BinaryConstraintOp souffle::ast::BinaryConstraint::getBaseOperator ( ) const

inline

Return binary operator.

Definition at line 69 of file BinaryConstraint.h.

                                             {

Referenced by souffle::ast::BindingStore::BindingStore(), and souffle::ast::transform::FoldAnonymousRecords::transformClause().

getChildNodes()

std::vector<const Node*> souffle::ast::BinaryConstraint::getChildNodes ( ) const

inlineoverride

Definition at line 91 of file BinaryConstraint.h.

                                                         {

getFinalType()

std::optional<BinaryConstraintOp> souffle::ast::BinaryConstraint::getFinalType ( ) const

inline

Definition at line 99 of file BinaryConstraint.h.

                                         {
            os << *lhs << " " << operation << " " << *rhs;
        } else {

References lhs, operation, and rhs.

getLHS()

Argument* souffle::ast::BinaryConstraint::getLHS ( ) const

inline

Return left-hand side argument.

Definition at line 59 of file BinaryConstraint.h.

                                               {

getRHS()

Argument* souffle::ast::BinaryConstraint::getRHS ( ) const

inline

Return right-hand side argument.

Definition at line 64 of file BinaryConstraint.h.

                                                {

print()

void souffle::ast::BinaryConstraint::print ( std::ostream &  out ) const

inlineoverrideprotectedvirtual

Adds print support for constraints (debugging)

Implements souffle::ast::analysis::Constraint< Var >.

Definition at line 104 of file BinaryConstraint.h.

                                                {
        assert(isA<BinaryConstraint>(&node));
        const auto& other = static_cast<const BinaryConstraint&>(node);
        return operation == other.operation && equal_ptr(lhs, other.lhs) && equal_ptr(rhs, other.rhs);
    }

setBaseOperator()

void souffle::ast::BinaryConstraint::setBaseOperator ( BinaryConstraintOp  op )

inline

Set binary operator.

Definition at line 74 of file BinaryConstraint.h.

                                             {
            copy->setFinalType(finalTranslatorType.value());
        }

References souffle::detail::brie::copy(), and finalTranslatorType.

Here is the call graph for this function:

setFinalType()

void souffle::ast::BinaryConstraint::setFinalType ( BinaryConstraintOp  newType )

inline

Definition at line 95 of file BinaryConstraint.h.

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

Field Documentation

finalTranslatorType

std::optional<BinaryConstraintOp> souffle::ast::BinaryConstraint::finalTranslatorType

protected

Definition at line 128 of file BinaryConstraint.h.

Referenced by setBaseOperator().

lhs

Own<Argument> souffle::ast::BinaryConstraint::lhs

protected

Left-hand side argument of binary constraint.

Definition at line 122 of file BinaryConstraint.h.

Referenced by apply(), and getFinalType().

operation

BinaryConstraintOp souffle::ast::BinaryConstraint::operation

protected

Constraint (base) operator.

Definition at line 119 of file BinaryConstraint.h.

Referenced by getFinalType().

rhs

Own<Argument> souffle::ast::BinaryConstraint::rhs

protected

Right-hand side argument of binary constraint.

Definition at line 125 of file BinaryConstraint.h.

Referenced by apply(), and getFinalType().

---

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

• ast/BinaryConstraint.h