m::Unsatisfiable Struct Reference

#include <Condition.hpp>

Inheritance diagram for m::Unsatisfiable:

Collaboration diagram for m::Unsatisfiable:

Public Member Functions
	Unsatisfiable ()=default
	Unsatisfiable (const Unsatisfiable &)=default
	Unsatisfiable (Unsatisfiable &&)=default
bool	implied_by (const Condition &) 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.

Detailed Description

Definition at line 130 of file Condition.hpp.

Constructor & Destructor Documentation

Unsatisfiable() [1/3]

m::Unsatisfiable::Unsatisfiable ( )

explicitdefault

Unsatisfiable() [2/3]

m::Unsatisfiable::Unsatisfiable ( const Unsatisfiable &  )

explicitdefault

Unsatisfiable() [3/3]

m::Unsatisfiable::Unsatisfiable ( Unsatisfiable &&  )

default

Member Function Documentation

clone()

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

inlineoverrideprivatevirtual

Creates and returns a deep copy of this.

Implements m::Condition.

Definition at line 137 of file Condition.hpp.

implied_by()

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

inlineoverridevirtual

Checks whether this Condition is implied by other.

Implements m::Condition.

Definition at line 141 of file Condition.hpp.

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::Unsatisfiable::operator== ( const Condition &  o ) const

inlineoverridevirtual

Implements m::Condition.

Definition at line 145 of file Condition.hpp.

project_and_rename()

void m::Unsatisfiable::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 143 of file Condition.hpp.

---

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

• include/mutable/IR/Condition.hpp