library/algebra/Reverse.hpp

• View this file on GitHub
• Last update: 2025-11-24 18:49:07+09:00
• Include: #include "library/algebra/Reverse.hpp"

Depends on

• build/pch/stdc++.hpp

Required by

• library/algebra/lazy/Reverse.hpp
• library/tree/TreeLazy.hpp
• library/tree/TreeMonoid.hpp

Verified with

• test/AOJ/GRL_5_E.test.cpp
• test/library-checker/DataStructure/PointSetRangeComposite.test.cpp
• test/library-checker/DataStructure/QueueOperateAllComposite.test.cpp
• test/library-checker/Tree/vertex_add_path_sum.test.cpp
• test/library-checker/Tree/vertex_add_subtree_sum.test.cpp
• test/library-checker/Tree/vertex_set_path_composite.test.cpp
• test/yukicoder/650.test.cpp

Code

#pragma once
template<typename Algebra>
struct AlgebraReverse:Algebra{
  using X=typename Algebra::value_type;
  static constexpr X op(const X& x, const X& y){ return Algebra::op(y,x); }
  static constexpr void Rchop(X&x,const X&y){ Algebra::Lchop(y,x); }
  static constexpr void Lchop(const X&x,X&y){ Algebra::Rchop(y,x); }
};

#line 2 "library/algebra/Reverse.hpp"
template<typename Algebra>
struct AlgebraReverse:Algebra{
  using X=typename Algebra::value_type;
  static constexpr X op(const X& x, const X& y){ return Algebra::op(y,x); }
  static constexpr void Rchop(X&x,const X&y){ Algebra::Lchop(y,x); }
  static constexpr void Lchop(const X&x,X&y){ Algebra::Rchop(y,x); }
};

Back to top page