metaSMT git
Typedefs

metaSMT::_all_logic_tags Namespace Reference

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 Documentation

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.

Definition at line 17 of file Logics.hpp.

Definition at line 22 of file Logics.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines