metaSMT git
Public Types | Public Member Functions

metaSMT::logic::Predicate< Expr > Struct Template Reference

#include <Logic.hpp>

List of all members.

Public Types

typedef proto::extends< Expr,
Predicate< Expr >
, Predicate_Domain
base_type

Public Member Functions

 Predicate (Expr const &expr=Expr())

Detailed Description

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

Definition at line 39 of file Logic.hpp.


Member Typedef Documentation

template<typename Expr >
typedef proto::extends<Expr, Predicate<Expr>, Predicate_Domain > metaSMT::logic::Predicate< Expr >::base_type

Definition at line 42 of file Logic.hpp.


Constructor & Destructor Documentation

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

Definition at line 44 of file Logic.hpp.


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