#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 60 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] |