metaSMT 2
Public Types
metaSMT::logic::QF_BV::QF_BV< Expr > Struct Template Reference

#include <QF_BV.hpp>

List of all members.

Public Types

typedef proto::extends< Expr,
QF_BV< Expr >, QF_BV_Domain
base_type

Detailed Description

template<typename Expr>
struct metaSMT::logic::QF_BV::QF_BV< Expr >

Definition at line 135 of file QF_BV.hpp.


Member Typedef Documentation

template<typename Expr >
typedef proto::extends<Expr, QF_BV<Expr>, QF_BV_Domain > metaSMT::logic::QF_BV::QF_BV< Expr >::base_type

Definition at line 138 of file QF_BV.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines