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