metaSMT 2
Public Types | Public Member Functions
metaSMT::SAT::SAT_Expr< Expr > Struct Template Reference

#include <SAT.hpp>

List of all members.

Public Types

typedef proto::extends< Expr,
SAT_Expr< Expr >, SAT_Domain
base_type

Public Member Functions

 SAT_Expr (Expr expr)
 SAT_Expr ()

Detailed Description

template<typename Expr>
struct metaSMT::SAT::SAT_Expr< Expr >

Definition at line 46 of file SAT.hpp.


Member Typedef Documentation

template<typename Expr >
typedef proto::extends<Expr, SAT_Expr<Expr>, SAT_Domain > metaSMT::SAT::SAT_Expr< Expr >::base_type

Definition at line 49 of file SAT.hpp.


Constructor & Destructor Documentation

template<typename Expr >
metaSMT::SAT::SAT_Expr< Expr >::SAT_Expr ( Expr  expr) [inline]

Definition at line 51 of file SAT.hpp.

template<typename Expr >
metaSMT::SAT::SAT_Expr< Expr >::SAT_Expr ( ) [inline]

Definition at line 55 of file SAT.hpp.


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