virtual_types< algebra::NumericalSemiring > Struct Template Reference
[Semiring]

List of all members.

Public Types

typedef algebra::add_kind semigroup_kind
 It is possible to consider a NumericalSemiring as a semigroup with +.

Detailed Description

template<>
struct vcsn::virtual_types< algebra::NumericalSemiring >

Definition at line 58 of file concept/numerical_semiring.hh.


Member Typedef Documentation

typedef algebra::add_kind semigroup_kind

It is possible to consider a NumericalSemiring as a semigroup with +.

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

Definition at line 66 of file concept/numerical_semiring.hh.


Generated on Sun Jul 29 19:49:07 2007 for Vaucanson by  doxygen 1.5.2