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