![]() |
mutable
A Database System for Research and Fast Prototyping
|
#include <Condition.hpp>
Public Types | |
| enum | Order { O_ASC , O_DESC , O_UNDEF } |
| using | order_t = ConditionPropertyOrderedMap< Order > |
Public Member Functions | |
| Sortedness (order_t orders) | |
| Sortedness ()=default | |
| Sortedness (const Sortedness &)=default | |
| Sortedness (Sortedness &&)=default | |
| order_t & | orders () |
| const order_t & | orders () 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 > > &old2new) 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 | |
| order_t | orders_ |
Definition at line 148 of file Condition.hpp.
Definition at line 152 of file Condition.hpp.
| enum m::Sortedness::Order |
| Enumerator | |
|---|---|
| O_ASC | |
| O_DESC | |
| O_UNDEF | |
Definition at line 150 of file Condition.hpp.
|
inlineexplicit |
Definition at line 158 of file Condition.hpp.
|
default |
|
explicitdefault |
|
default |
|
inlineoverrideprivatevirtual |
Creates and returns a deep copy of this.
Implements m::Condition.
Definition at line 165 of file Condition.hpp.
References orders_.
|
inlineoverridevirtual |
Checks whether this Condition is implied by other.
Implements m::Condition.
Definition at line 171 of file Condition.hpp.
References m::ConditionPropertyMap< Property, Ordered >::begin(), and O_UNDEF.
|
inlineinherited |
Definition at line 127 of file Condition.hpp.
References m::Condition::operator==().
|
inlineoverridevirtual |
Implements m::Condition.
Definition at line 193 of file Condition.hpp.
|
inline |
Definition at line 168 of file Condition.hpp.
References orders_.
Referenced by m::wasm::OrderedGrouping::adapt_post_condition(), and m::wasm::SortMergeJoin< SortLeft, SortRight, Predicated, CmpPredicated >::adapt_post_conditions().
|
inline |
Definition at line 169 of file Condition.hpp.
References orders_.
|
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 189 of file Condition.hpp.
References orders_, and m::ConditionPropertyMap< Property, Ordered >::project_and_rename().
|
private |
Definition at line 155 of file Condition.hpp.
Referenced by clone(), orders(), and project_and_rename().