#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 () |
typedef value::kind::binary mln::trait::value_< bool >::kind |
typedef value::nature::symbolic mln::trait::value_< bool >::nature |
typedef value::quant::low mln::trait::value_< bool >::quant |
static const char* mln::trait::value_< bool >::name | ( | ) | [inline, static] |