MaxPlusSemiring

struct MaxPlusSemiring : public libsemigroups::Semiring<int64_t>

Defined in semiring.hpp.

The max-plus semiring consists of the integers together with negative infinity with operations max and plus. Negative infinity is represented by libsemigroups::NEGATIVE_INFINITY.

Public member functions