metaSMT git
Classes | Typedefs

metaSMT::logic::tag Namespace Reference

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 Documentation

typedef boost::make_variant_over< Predicate_Tags >::type metaSMT::logic::tag::Predicate_Tag

Definition at line 74 of file Logic.hpp.

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

Definition at line 72 of file Logic.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines