metaSMT 2
|
Classes | |
struct | var_tag |
Typedefs | |
typedef boost::mpl::vector < false_tag, true_tag, not_tag, equal_tag, nequal_tag, and_tag, nand_tag, or_tag, nor_tag, xor_tag, xnor_tag, implies_tag, ite_tag, var_tag >::type | Predicate_Tags |
typedef boost::make_variant_over < Predicate_Tags >::type | Predicate_Tag |
typedef boost::make_variant_over< Predicate_Tags >::type metaSMT::logic::tag::Predicate_Tag |
typedef boost::mpl::vector< false_tag , true_tag , not_tag , equal_tag , nequal_tag , and_tag , nand_tag , or_tag , nor_tag , xor_tag , xnor_tag , implies_tag , ite_tag , var_tag >::type metaSMT::logic::tag::Predicate_Tags |