metaSMT 2
Public Types | Public Member Functions
metaSMT::logic::Array::Array< Expr > Struct Template Reference

#include <Array.hpp>

List of all members.

Public Types

typedef proto::extends< Expr,
Array< Expr >, Array_Domain
base_type

Public Member Functions

 Array (Expr const &expr=Expr())

Detailed Description

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

Definition at line 41 of file Array.hpp.


Member Typedef Documentation

template<typename Expr >
typedef proto::extends<Expr, Array<Expr>, Array_Domain > metaSMT::logic::Array::Array< Expr >::base_type

Definition at line 44 of file Array.hpp.


Constructor & Destructor Documentation

template<typename Expr >
metaSMT::logic::Array::Array< Expr >::Array ( Expr const &  expr = Expr()) [inline]

Definition at line 46 of file Array.hpp.


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