patterns.h

Go to the documentation of this file.

/*
 * Copyright 2018 Universidad Carlos III de Madrid
 * 
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 * 
 *     http://www.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
#ifndef GRPPI_COMMON_PATTERNS_H
#define GRPPI_COMMON_PATTERNS_H
 
#include <tuple> 
#include <type_traits>
 
#include "callable_traits.h"
#include "farm_pattern.h"
#include "filter_pattern.h"
#include "pipeline_pattern.h"
#include "reduce_pattern.h"
#include "iteration_pattern.h"
#include "context.h"
 
namespace grppi{
 
template <typename E,typename Stage, typename ... Stages>
class pipeline_info{
   public:
      E & exectype;
      std::tuple<Stage , Stages ...> stages;
      pipeline_info(E &p, Stage s, Stages ... sts) : exectype{p}, stages{std::make_tuple(s, sts...)} {}
      pipeline_info(E &p, std::tuple<Stage,Stages ...> st) : exectype{p} , stages{st} {}
};
 
template <typename E,class Combiner, typename Identity>
class reduction_info
{
   public:
      Combiner combine_op;
      int window_size;
      int offset;
      Identity identity;
      E & exectype;
      reduction_info(E &s,int ws, int off, Identity iden, Combiner comb) : 
        exectype{s}, window_size{ws}, offset{off}, identity{iden}, combine_op{comb} {}
};
 
template <typename E,class Operation>
class farm_info
{
   public:
      Operation  task;
      E & exectype;
      int farmtype;
      farm_info(E &s,Operation  f) : task{f}, exectype{s}, farmtype{} {};
};
 
template <typename E,class Operation>
class filter_info
{
   public:
      Operation task;
      E & exectype;
      int filtertype;
      filter_info(E &s,Operation f) : task{f}, exectype{s}, filtertype{} {};
};
 
template <typename T>
constexpr bool is_no_pattern =
  !is_farm<T> && 
  !is_filter<T> && 
  !is_pipeline<T> &&
  !is_reduce<T> &&
  !is_iteration<T>&&
  !is_context<T>;
 
template <typename T>
constexpr bool is_pattern = !is_no_pattern<T>;
 
template <typename T>
using requires_no_pattern = std::enable_if_t<is_no_pattern<T>,int>;
 
template <typename T>
using requires_pattern = std::enable_if_t<is_pattern<T>, int>;
 
template <typename return_type, typename ... Ts>
struct stage_return_type{
  using type = return_type;
};
 
template <typename Input, typename Transformer>
using result_type = typename std::result_of<Transformer(Input)>::type; 
 
template <typename Input, typename Transformer>
struct stage_return_type<Input, Transformer> {
  using type = typename stage_return_type< result_type<Input,Transformer>>::type;       
};
 
template <typename Input, typename Transformer, typename ... Other>
struct stage_return_type<Input, Transformer, Other ...> {
  using type = typename stage_return_type< result_type<Input,Transformer> , Other...>::type; 
};
 
} // end namespace grppi
 
#endif