metaSMT git
|
#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 |