List of all items

Structs

• ordinal::CnfTerm
• ordinal::OrdinalArena
• ordinal::OrdinalId
• ordinal::OrdinalInspection
• ordinal::OrdinalWeightInspection
• polytope::TropicalHyperplane
• polytope::TropicalPolytope
• types::TropicalMatrix
• types::TropicalMultivector
• types::TropicalNumber
• verified::MaxPlus
• verified::MinPlus
• verified::TropicalSemiring
• verified::VerifiedTropicalMatrix
• verified::VerifiedTropicalMultivector
• verified::VerifiedTropicalNumber
• viterbi::TropicalPolynomial
• viterbi::TropicalViterbi

Enums

• error::TropicalError
• ordinal::OrdinalKind
• ordinal::OrdinalWeight

Traits

• PrecisionFloat
• semiring::Semiring

Functions

• semiring::fold_oplus
• semiring::fold_otimes
• viterbi::tropical_convex_hull

Type Aliases

• ExtendedFloat
• HighPrecisionFloat
• StandardFloat
• error::TropicalResult
• types::ExtendedTropical
• types::StandardTropical