Xor-and semiring
(Mylib/AlgebraicStructure/Semiring/xor_and.cpp)

• View this file on GitHub
• Last update: 2021-04-23 23:44:44+09:00

Operations

Requirements

Notes

Problems

References

Code

#pragma once

namespace haar_lib {
  template <typename T>
  struct xor_and_semiring {
    using value_type = T;
    value_type id_add() const { return 0; }
    value_type id_mul() const { return ~(T) 0; }
    value_type add(value_type a, value_type b) const { return a ^ b; }
    value_type mul(value_type a, value_type b) const { return a & b; }
  };
}  // namespace haar_lib

#line 2 "Mylib/AlgebraicStructure/Semiring/xor_and.cpp"

namespace haar_lib {
  template <typename T>
  struct xor_and_semiring {
    using value_type = T;
    value_type id_add() const { return 0; }
    value_type id_mul() const { return ~(T) 0; }
    value_type add(value_type a, value_type b) const { return a ^ b; }
    value_type mul(value_type a, value_type b) const { return a & b; }
  };
}  // namespace haar_lib

Back to top page