m::ConditionPropertyMap< Property, Ordered > Struct Template Reference

#include <Condition.hpp>

Collaboration diagram for m::ConditionPropertyMap< Property, Ordered >:

Data Structures
struct	IdentifierHash

Public Member Functions
void	add (Schema::Identifier id, Property P)
void	merge (ConditionPropertyMap &other)
auto	find (const Schema::Identifier &id) const
void	project_and_rename (const std::vector< std::pair< Schema::Identifier, Schema::Identifier > > &old2new)
auto	begin ()
auto	end ()
auto	begin () const
auto	end () const
auto	cbegin () const
auto	cend () const
bool	empty () const
bool	operator== (const ConditionPropertyMap &other) const

Private Types
using	map_t = std::conditional_t< Ordered, std::vector< std::pair< Schema::Identifier, Property > >, std::unordered_map< Schema::Identifier, Property, IdentifierHash > >

Private Attributes
map_t	attrs

Detailed Description

template<typename Property, bool Ordered>
struct m::ConditionPropertyMap< Property, Ordered >

Definition at line 18 of file Condition.hpp.

Member Typedef Documentation

map_t

template<typename Property , bool Ordered>

using m::ConditionPropertyMap< Property, Ordered >::map_t = std::conditional_t<Ordered, std::vector<std::pair<Schema::Identifier, Property> >, std::unordered_map<Schema::Identifier, Property, IdentifierHash> >

private

Definition at line 30 of file Condition.hpp.

Member Function Documentation

add()

template<typename Property , bool Ordered>

void m::ConditionPropertyMap< Property, Ordered >::add ( Schema::Identifier  id, Property  P  )

inline

Definition at line 36 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::attrs, m::ConditionPropertyMap< Property, Ordered >::cend(), and m::ConditionPropertyMap< Property, Ordered >::find().

Referenced by m::wasm::OrderedGrouping::adapt_post_condition(), m::wasm::SortMergeJoin< SortLeft, SortRight, Predicated, CmpPredicated >::adapt_post_conditions(), m::wasm::Aggregation::post_condition(), m::wasm::IndexScan< IndexMethod >::post_condition(), m::wasm::Quicksort< CmpPredicated >::post_condition(), m::wasm::Scan< SIMDfied >::post_condition(), m::wasm::OrderedGrouping::pre_condition(), m::wasm::SortMergeJoin< SortLeft, SortRight, Predicated, CmpPredicated >::pre_condition(), m::wasm::NoOpSorting::pre_condition(), and m::ConditionPropertyMap< Property, Ordered >::project_and_rename().

begin() [1/2]

template<typename Property , bool Ordered>

auto m::ConditionPropertyMap< Property, Ordered >::begin ( )

inline

Definition at line 85 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::attrs.

Referenced by m::ConditionPropertyMap< Property, Ordered >::cbegin(), m::Sortedness::implied_by(), and m::ConditionPropertyMap< Property, Ordered >::merge().

begin() [2/2]

template<typename Property , bool Ordered>

auto m::ConditionPropertyMap< Property, Ordered >::begin ( ) const

inline

Definition at line 87 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::attrs.

cbegin()

template<typename Property , bool Ordered>

auto m::ConditionPropertyMap< Property, Ordered >::cbegin ( ) const

inline

Definition at line 89 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::begin().

Referenced by m::ConditionPropertyMap< Property, Ordered >::find(), and m::ConditionPropertyMap< Property, Ordered >::merge().

cend()

template<typename Property , bool Ordered>

auto m::ConditionPropertyMap< Property, Ordered >::cend ( ) const

inline

Definition at line 90 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::end().

Referenced by m::wasm::OrderedGrouping::adapt_post_condition(), m::wasm::SortMergeJoin< SortLeft, SortRight, Predicated, CmpPredicated >::adapt_post_conditions(), m::ConditionPropertyMap< Property, Ordered >::add(), m::ConditionPropertyMap< Property, Ordered >::find(), m::ConditionPropertyMap< Property, Ordered >::merge(), m::wasm::Quicksort< CmpPredicated >::post_condition(), m::wasm::OrderedGrouping::pre_condition(), m::wasm::SortMergeJoin< SortLeft, SortRight, Predicated, CmpPredicated >::pre_condition(), and m::wasm::NoOpSorting::pre_condition().

empty()

template<typename Property , bool Ordered>

bool m::ConditionPropertyMap< Property, Ordered >::empty ( ) const

inline

Definition at line 92 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::attrs.

Referenced by m::wasm::Scan< SIMDfied >::post_condition().

end() [1/2]

template<typename Property , bool Ordered>

auto m::ConditionPropertyMap< Property, Ordered >::end ( )

inline

Definition at line 86 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::attrs.

Referenced by m::ConditionPropertyMap< Property, Ordered >::cend(), and m::ConditionPropertyMap< Property, Ordered >::merge().

end() [2/2]

template<typename Property , bool Ordered>

auto m::ConditionPropertyMap< Property, Ordered >::end ( ) const

inline

Definition at line 88 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::attrs.

find()

template<typename Property , bool Ordered>

auto m::ConditionPropertyMap< Property, Ordered >::find ( const Schema::Identifier &  id ) const

inline

Definition at line 61 of file Condition.hpp.

References m::and, m::ConditionPropertyMap< Property, Ordered >::attrs, m::ConditionPropertyMap< Property, Ordered >::cbegin(), m::ConditionPropertyMap< Property, Ordered >::cend(), and id.

Referenced by m::wasm::OrderedGrouping::adapt_post_condition(), m::wasm::SortMergeJoin< SortLeft, SortRight, Predicated, CmpPredicated >::adapt_post_conditions(), m::ConditionPropertyMap< Property, Ordered >::add(), m::ConditionPropertyMap< Property, Ordered >::merge(), m::wasm::Quicksort< CmpPredicated >::post_condition(), m::wasm::OrderedGrouping::pre_condition(), m::wasm::SortMergeJoin< SortLeft, SortRight, Predicated, CmpPredicated >::pre_condition(), and m::wasm::NoOpSorting::pre_condition().

merge()

template<typename Property , bool Ordered>

void m::ConditionPropertyMap< Property, Ordered >::merge ( ConditionPropertyMap< Property, Ordered > &  other )

inline

Definition at line 48 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::attrs, m::ConditionPropertyMap< Property, Ordered >::begin(), m::ConditionPropertyMap< Property, Ordered >::cbegin(), m::ConditionPropertyMap< Property, Ordered >::cend(), m::ConditionPropertyMap< Property, Ordered >::end(), and m::ConditionPropertyMap< Property, Ordered >::find().

Referenced by m::wasm::SortMergeJoin< SortLeft, SortRight, Predicated, CmpPredicated >::adapt_post_conditions().

operator==()

template<typename Property , bool Ordered>

bool m::ConditionPropertyMap< Property, Ordered >::operator== ( const ConditionPropertyMap< Property, Ordered > &  other ) const

inline

Definition at line 94 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::attrs.

project_and_rename()

template<typename Property , bool Ordered>

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

inline

Definition at line 73 of file Condition.hpp.

References m::ConditionPropertyMap< Property, Ordered >::add().

Referenced by m::Sortedness::project_and_rename().

Field Documentation

attrs

template<typename Property , bool Ordered>

map_t m::ConditionPropertyMap< Property, Ordered >::attrs

private

Definition at line 33 of file Condition.hpp.

Referenced by m::ConditionPropertyMap< Property, Ordered >::add(), m::ConditionPropertyMap< Property, Ordered >::begin(), m::ConditionPropertyMap< Property, Ordered >::empty(), m::ConditionPropertyMap< Property, Ordered >::end(), m::ConditionPropertyMap< Property, Ordered >::find(), m::ConditionPropertyMap< Property, Ordered >::merge(), and m::ConditionPropertyMap< Property, Ordered >::operator==().

---

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

• include/mutable/IR/Condition.hpp