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

tags for SMT metaSMT::logic::QF_BV More...

Classes

struct  var_tag

Typedefs

typedef boost::mpl::vector39
< nil, bit0_tag, bit1_tag,
bvnot_tag, bvneg_tag,
bvand_tag, bvnand_tag,
bvor_tag, bvnor_tag, bvxor_tag,
bvxnor_tag, bvcomp_tag,
bvadd_tag, bvmul_tag,
bvsub_tag, bvsrem_tag,
bvsdiv_tag, bvurem_tag,
bvudiv_tag, bvuint_tag,
bvsint_tag, bvbin_tag,
bvhex_tag, bvslt_tag,
bvsgt_tag, bvsle_tag,
bvsge_tag, bvult_tag,
bvugt_tag, bvule_tag,
bvuge_tag, concat_tag,
extract_tag, zero_extend_tag,
sign_extend_tag, bvshl_tag,
bvshr_tag, bvashr_tag, var_tag >
::type 
QF_BV_Tags
typedef
boost::make_variant_over
< QF_BV_Tags >::type 
QF_BV_Tag

Detailed Description

tags for SMT metaSMT::logic::QF_BV


Typedef Documentation

typedef boost::make_variant_over<QF_BV_Tags>::type metaSMT::logic::QF_BV::tag::QF_BV_Tag

Definition at line 139 of file QF_BV.hpp.

typedef boost::mpl::vector39< nil , bit0_tag , bit1_tag , bvnot_tag , bvneg_tag , bvand_tag , bvnand_tag , bvor_tag , bvnor_tag , bvxor_tag , bvxnor_tag , bvcomp_tag , bvadd_tag , bvmul_tag , bvsub_tag , bvsrem_tag , bvsdiv_tag , bvurem_tag , bvudiv_tag , bvuint_tag , bvsint_tag , bvbin_tag , bvhex_tag , bvslt_tag , bvsgt_tag , bvsle_tag , bvsge_tag , bvult_tag , bvugt_tag , bvule_tag , bvuge_tag , concat_tag , extract_tag , zero_extend_tag , sign_extend_tag , bvshl_tag , bvshr_tag , bvashr_tag , var_tag >::type metaSMT::logic::QF_BV::tag::QF_BV_Tags

Definition at line 137 of file QF_BV.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines