m::Condition Struct Reference

#include <Condition.hpp>

Inheritance diagram for m::Condition:

Public Member Functions
virtual	~Condition ()
virtual bool	implied_by (const Condition &other) const =0
	Checks whether this Condition is implied by other.
virtual void	project_and_rename (const std::vector< std::pair< Schema::Identifier, Schema::Identifier > > &old2new)=0
	Inform this Condition that Identifiers were simultaneously projected and renamed according to the mapping old2new, i.e.
virtual bool	operator== (const Condition &other) const =0
bool	operator!= (const Condition &other) const

Private Member Functions
virtual std::unique_ptr< Condition >	clone () const =0
	Creates and returns a deep copy of this.

Friends
struct	ConditionSet

Detailed Description

Definition at line 107 of file Condition.hpp.

Constructor & Destructor Documentation

~Condition()

virtual m::Condition::~Condition ( )

inlinevirtual

Definition at line 111 of file Condition.hpp.

Member Function Documentation

clone()

virtual std::unique_ptr< Condition > m::Condition::clone ( ) const

privatepure virtual

Creates and returns a deep copy of this.

Implemented in m::Unsatisfiable, m::Sortedness, m::SIMD, and m::Predicated.

implied_by()

virtual bool m::Condition::implied_by ( const Condition &  other ) const

pure virtual

Checks whether this Condition is implied by other.

Implemented in m::Unsatisfiable, m::Sortedness, m::SIMD, and m::Predicated.

operator!=()

bool m::Condition::operator!= ( const Condition &  other ) const

inline

Definition at line 127 of file Condition.hpp.

References operator==().

operator==()

virtual bool m::Condition::operator== ( const Condition &  other ) const

pure virtual

Implemented in m::Unsatisfiable, m::Sortedness, m::SIMD, and m::Predicated.

Referenced by operator!=().

project_and_rename()

virtual void m::Condition::project_and_rename ( const std::vector< std::pair< Schema::Identifier, Schema::Identifier > > &  old2new )

pure virtual

Inform this Condition that Identifiers were simultaneously projected and renamed according to the mapping old2new, i.e.

afterwards, this Condition does only consist of Identifiers contained as second element of each pair in the mapping.

Implemented in m::Unsatisfiable, m::SIMD, m::Predicated, and m::Sortedness.

Friends And Related Function Documentation

ConditionSet

friend struct ConditionSet

friend

Definition at line 109 of file Condition.hpp.

---

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

• include/mutable/IR/Condition.hpp