![]() |
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 Identifier s 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 Identifier
s were simultaneously projected and renamed according to the mapping old2new
, i.e.
afterwards, this Condition
does only consist of Identifier
s 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().