metaSMT git
|
Go to the source code of this file.
Classes | |
struct | metaSMT::logic::Array::tag::array_var_tag |
Namespaces | |
namespace | metaSMT |
namespace | metaSMT::logic |
namespace | metaSMT::logic::Array |
namespace | metaSMT::logic::Array::tag |
Defines | |
#define | PRINT(Tag, body) |
#define | TAG(NAME) |
Typedefs | |
typedef boost::mpl::vector < nil, select_tag, store_tag, array_var_tag >::type | metaSMT::logic::Array::tag::Array_Tags |
typedef boost::make_variant_over < Array_Tags >::type | metaSMT::logic::Array::tag::Array_Tag |
#define PRINT | ( | Tag, | |
body | |||
) |
template<typename STREAM> \ friend STREAM & operator<< (STREAM & out, Tag const & self) \ { return (out << body); }