MinPlusSemiring

struct MinPlusSemiring : public libsemigroups::Semiring<int64_t>

Defined in semiring.hpp.

The min-plus semiring consists of the integers together with infinity with operations min and plus. Infinity is represented by libsemigroups::POSITIVE_INFINITY.

Constructors

• MinPlusSemiring()
• MinPlusSemiring(MinPlusSemiring const&)
• MinPlusSemiring(MinPlusSemiring&&)
• operator=(MinPlusSemiring const&)
• operator=(MinPlusSemiring&&)

Public member functions

• contains
• one
• plus
• prod
• zero