#include <label.hh>
Public Types | |
| enum | { dim = 1, nbits = n, card = mln_value_card_from_(n) } |
| typedef unsigned | comp |
| typedef trait::value::kind::label | kind |
| typedef trait::value::nature::symbolic | nature |
Public Member Functions | |
| typedef | mln_value_quant_from_ (card) quant |
Static Public Member Functions | |
| static const self_ | max () |
| static const self_ | min () |
| static const char * | name () |
Private Types | |
| typedef mln::value::label< n > | self_ |
Definition at line 62 of file label.hh.
| typedef unsigned mln::trait::value_< mln::value::label< n > >::comp |
| typedef trait::value::kind::label mln::trait::value_< mln::value::label< n > >::kind |
| typedef trait::value::nature::symbolic mln::trait::value_< mln::value::label< n > >::nature |
typedef mln::value::label<n> mln::trait::value_< mln::value::label< n > >::self_ [private] |
| anonymous enum |
| static const self_ mln::trait::value_< mln::value::label< n > >::max | ( | ) | [inline, static] |
| static const self_ mln::trait::value_< mln::value::label< n > >::min | ( | ) | [inline, static] |
| typedef mln::trait::value_< mln::value::label< n > >::mln_value_quant_from_ | ( | card | ) |
| static const char* mln::trait::value_< mln::value::label< n > >::name | ( | ) | [inline, static] |
Definition at line 82 of file label.hh.
References mln::value::internal::make_generic_name().
1.7.1