metaSMT 2
|
Classes | |
struct | lit_tag |
struct | c_tag |
struct | not_tag |
Typedefs | |
typedef boost::mpl::vector < lit_tag, c_tag >::type | SAT_Tags |
typedef boost::make_variant_over < SAT_Tags >::type | SAT_Tag |
typedef boost::make_variant_over< SAT_Tags >::type metaSMT::SAT::tag::SAT_Tag |
typedef boost::mpl::vector< lit_tag , c_tag >::type metaSMT::SAT::tag::SAT_Tags |