monoids/trivial_action.hpp

• View this file on GitHub
• Last update: 2021-08-30 04:35:37+09:00
• Include: #include "monoids/trivial_action.hpp"

Depends on

• monoids/trivial.hpp

Code

#pragma once
#include "../monoids/trivial.hpp"

/**
 * @note lazy_propagation_segment_tree<Monoid, trivial_monoid, trivial_action<typename Monoid::value_type> > is the same to segment_tree<Monoid>
 */
template <class T>
struct trivial_action {
    T operator () (typename trivial_monoid::value_type f, T x) const { return x; }
};

#line 2 "monoids/trivial.hpp"

struct trivial_monoid {
    typedef struct {} value_type;
    value_type unit() const { return (value_type) {}; }
    value_type mult(value_type a, value_type b) const { return (value_type) {}; }
};
#line 3 "monoids/trivial_action.hpp"

/**
 * @note lazy_propagation_segment_tree<Monoid, trivial_monoid, trivial_action<typename Monoid::value_type> > is the same to segment_tree<Monoid>
 */
template <class T>
struct trivial_action {
    T operator () (typename trivial_monoid::value_type f, T x) const { return x; }
};

Back to top page