#include <symbolics.hh>
Public Types | |
enum | { dim = 1, nbits = 1, card = 2 } |
typedef value::kind::binary | kind |
typedef value::nature::symbolic | nature |
typedef value::quant::low | quant |
Static Public Member Functions | |
static const char * | name () |
Definition at line 54 of file symbolics.hh.
typedef value::kind::binary mln::trait::value_< bool >::kind |
Definition at line 57 of file symbolics.hh.
typedef value::nature::symbolic mln::trait::value_< bool >::nature |
Definition at line 56 of file symbolics.hh.
typedef value::quant::low mln::trait::value_< bool >::quant |
Definition at line 64 of file symbolics.hh.
anonymous enum |
Definition at line 59 of file symbolics.hh.
static const char* mln::trait::value_< bool >::name | ( | ) | [inline, static] |
Definition at line 66 of file symbolics.hh.