Public Types | Public Member Functions | Static Public Member Functions | Private Types

mln::trait::value_< mln::value::label< n > > Struct Template Reference

#include <label.hh>

List of all members.

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_

Detailed Description

template<unsigned n>
struct mln::trait::value_< mln::value::label< n > >

Definition at line 62 of file label.hh.


Member Typedef Documentation

template<unsigned n>
typedef unsigned mln::trait::value_< mln::value::label< n > >::comp

Definition at line 89 of file label.hh.

template<unsigned n>
typedef trait::value::kind::label mln::trait::value_< mln::value::label< n > >::kind

Definition at line 76 of file label.hh.

Definition at line 75 of file label.hh.

template<unsigned n>
typedef mln::value::label<n> mln::trait::value_< mln::value::label< n > >::self_ [private]

Definition at line 65 of file label.hh.


Member Enumeration Documentation

template<unsigned n>
anonymous enum
Enumerator:
dim 
nbits 
card 

Definition at line 69 of file label.hh.


Member Function Documentation

template<unsigned n>
static const self_ mln::trait::value_< mln::value::label< n > >::max (  )  [inline, static]

Definition at line 80 of file label.hh.

template<unsigned n>
static const self_ mln::trait::value_< mln::value::label< n > >::min (  )  [inline, static]

Definition at line 79 of file label.hh.

template<unsigned n>
typedef mln::trait::value_< mln::value::label< n > >::mln_value_quant_from_ ( card   ) 
template<unsigned n>
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().