metaSMT git
Namespaces | Typedefs

metaSMT/tags/Logics.hpp File Reference

#include "Logic.hpp"
#include "QF_BV.hpp"
#include "Array.hpp"
#include <boost/mpl/joint_view.hpp>
#include <boost/mpl/copy.hpp>
#include <boost/mpl/size.hpp>

Go to the source code of this file.

Namespaces

namespace  metaSMT
namespace  metaSMT::_all_logic_tags

Typedefs

typedef boost::mpl::joint_view
< logic::tag::Predicate_Tags,
logic::QF_BV::tag::QF_BV_Tags >
::type 
metaSMT::_all_logic_tags::all_Tags1
typedef boost::mpl::joint_view
< all_Tags1,
logic::Array::tag::Array_Tags >
::type 
metaSMT::_all_logic_tags::all_Tags2
typedef boost::mpl::copy
< all_Tags2,
boost::mpl::back_inserter
< boost::mpl::vector
<> > >::type 
metaSMT::_all_logic_tags::all_Tags
typedef
boost::make_variant_over
< _all_logic_tags::all_Tags >
::type 
metaSMT::Tag
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines