metaSMT 2
Classes | Typedefs
metaSMT::SAT::tag Namespace Reference

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 Documentation

typedef boost::make_variant_over< SAT_Tags >::type metaSMT::SAT::tag::SAT_Tag

Definition at line 45 of file SAT.hpp.

typedef boost::mpl::vector< lit_tag , c_tag >::type metaSMT::SAT::tag::SAT_Tags

Definition at line 43 of file SAT.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines