metaSMT git
|
Typedefs | |
typedef boost::mpl::joint_view < logic::tag::Predicate_Tags, logic::QF_BV::tag::QF_BV_Tags > ::type | all_Tags1 |
typedef boost::mpl::joint_view < all_Tags1, logic::Array::tag::Array_Tags > ::type | all_Tags2 |
typedef boost::mpl::copy < all_Tags2, boost::mpl::back_inserter < boost::mpl::vector <> > >::type | all_Tags |
typedef boost::mpl::copy< all_Tags2 , boost::mpl::back_inserter< boost::mpl::vector<> > >::type metaSMT::_all_logic_tags::all_Tags |
Definition at line 27 of file Logics.hpp.
typedef boost::mpl::joint_view< logic::tag::Predicate_Tags , logic::QF_BV::tag::QF_BV_Tags >::type metaSMT::_all_logic_tags::all_Tags1 |
Definition at line 17 of file Logics.hpp.
typedef boost::mpl::joint_view< all_Tags1 , logic::Array::tag::Array_Tags >::type metaSMT::_all_logic_tags::all_Tags2 |
Definition at line 22 of file Logics.hpp.