metaSMT git
Public Types

metaSMT::boolector::result< This(Arg) > Struct Template Reference

#include <Instantiate.hpp>

List of all members.

Public Types

typedef solver::Boolector type

Detailed Description

template<typename This, typename Arg>
struct metaSMT::boolector::result< This(Arg) >

Definition at line 14 of file Instantiate.hpp.


Member Typedef Documentation

template<typename This , typename Arg >
typedef solver::Boolector metaSMT::boolector::result< This(Arg) >::type

Definition at line 15 of file Instantiate.hpp.


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