TropicalMaxPlusSemiring

struct TropicalMaxPlusSemiring : public libsemigroups::SemiringWithThreshold

Defined in semiring.hpp.

The tropical max-plus semiring consists of the integers \(\{0, \ldots , t\}\) for some value \(t\) (called the threshold of the semiring) and libsemigroups::POSITIVE_INFINITY.

Public member functions