virtual_types< algebra::TropicalSemiring< TropicalKind > > Struct Template Reference
[Semiring]

List of all members.

Public Types
typedef algebra::add_kind	semigroup_kind
	We can see a NumericalSemiring as a semigroup with +.

---

Detailed Description

template<class TropicalKind>
struct vcsn::virtual_types< algebra::TropicalSemiring< TropicalKind > >

Definition at line 46 of file concept/tropical_semiring.hh.

---

Member Typedef Documentation

typedef algebra::add_kind semigroup_kind

We can see a NumericalSemiring as a semigroup with +.

It is an arbitrary decision, it could be mul_kind too.

Definition at line 54 of file concept/tropical_semiring.hh.

---