m::Predicated Struct Reference

#include <Condition.hpp>

Inheritance diagram for m::Predicated:

Collaboration diagram for m::Predicated:

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

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

Private Attributes
bool	predicated_

Detailed Description

Definition at line 238 of file Condition.hpp.

Constructor & Destructor Documentation

Predicated() [1/4]

m::Predicated::Predicated ( bool  predicated )

inlineexplicit

Definition at line 244 of file Condition.hpp.

Predicated() [2/4]

m::Predicated::Predicated ( )

default

Predicated() [3/4]

m::Predicated::Predicated ( const Predicated &  )

explicitdefault

Predicated() [4/4]

m::Predicated::Predicated ( Predicated &&  )

default

Member Function Documentation

clone()

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

inlineoverrideprivatevirtual

Creates and returns a deep copy of this.

Implements m::Condition.

Definition at line 251 of file Condition.hpp.

References predicated_.

implied_by()

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

inlineoverridevirtual

Checks whether this Condition is implied by other.

Implements m::Condition.

Definition at line 256 of file Condition.hpp.

References predicated_.

operator!=()

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

inlineinherited

Definition at line 127 of file Condition.hpp.

References m::Condition::operator==().

operator==()

bool m::Predicated::operator== ( const Condition &  o ) const

inlineoverridevirtual

Implements m::Condition.

Definition at line 264 of file Condition.hpp.

predicated()

bool m::Predicated::predicated ( ) const

inline

Definition at line 254 of file Condition.hpp.

References predicated_.

project_and_rename()

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

inlineoverridevirtual

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.

Implements m::Condition.

Definition at line 262 of file Condition.hpp.

Field Documentation

predicated_

bool m::Predicated::predicated_

private

Definition at line 241 of file Condition.hpp.

Referenced by clone(), implied_by(), and predicated().

---

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

• include/mutable/IR/Condition.hpp