TropicalMinPlusSemiring¶
-
struct
TropicalMinPlusSemiring
: public libsemigroups::SemiringWithThreshold¶ Defined in
semiring.hpp
.The tropical min-plus semiring consists of the integers \(\{0, \ldots , t\}\) for some value \(t\) (called the threshold of the semiring) and libsemigroups::POSITIVE_INFINITY.