metaSMT 2
Classes | Typedefs
metaSMT::logic::Array::tag Namespace Reference

Classes

struct  array_var_tag

Typedefs

typedef boost::mpl::vector
< nil, select_tag, store_tag,
array_var_tag >::type 
Array_Tags
typedef
boost::make_variant_over
< Array_Tags >::type 
Array_Tag

Typedef Documentation

typedef boost::make_variant_over<Array_Tags>::type metaSMT::logic::Array::tag::Array_Tag

Definition at line 47 of file Array.hpp.

typedef boost::mpl::vector< nil , select_tag , store_tag , array_var_tag >::type metaSMT::logic::Array::tag::Array_Tags

Definition at line 45 of file Array.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines