metaSMT git
Public Member Functions | Public Attributes

metaSMT::detail::lazy_call< Context, Expr > Struct Template Reference

#include <lazy.hpp>

List of all members.

Public Member Functions

 lazy_call (Context &ctx, Expr const &e)
template<typename Arg1 >
Context::result_type operator() (Arg1 const &arg1)
template<typename Arg1 , typename Arg2 >
Context::result_type operator() (Arg1 const &arg1, Arg2 const &arg2)
template<typename Arg1 , typename Arg2 , typename Arg3 >
Context::result_type operator() (Arg1 const &arg1, Arg2 const &arg2, Arg3 const &arg3)

Public Attributes

proto::result_of::deep_copy
< Expr >::type 
e_
Context & ctx_

Detailed Description

template<typename Context, typename Expr>
struct metaSMT::detail::lazy_call< Context, Expr >

Definition at line 38 of file lazy.hpp.


Constructor & Destructor Documentation

template<typename Context, typename Expr>
metaSMT::detail::lazy_call< Context, Expr >::lazy_call ( Context &  ctx,
Expr const &  e 
) [inline]

Definition at line 40 of file lazy.hpp.


Member Function Documentation

template<typename Context, typename Expr>
template<typename Arg1 >
Context::result_type metaSMT::detail::lazy_call< Context, Expr >::operator() ( Arg1 const &  arg1) [inline]

Definition at line 46 of file lazy.hpp.

template<typename Context, typename Expr>
template<typename Arg1 , typename Arg2 , typename Arg3 >
Context::result_type metaSMT::detail::lazy_call< Context, Expr >::operator() ( Arg1 const &  arg1,
Arg2 const &  arg2,
Arg3 const &  arg3 
) [inline]

Definition at line 63 of file lazy.hpp.

template<typename Context, typename Expr>
template<typename Arg1 , typename Arg2 >
Context::result_type metaSMT::detail::lazy_call< Context, Expr >::operator() ( Arg1 const &  arg1,
Arg2 const &  arg2 
) [inline]

Definition at line 54 of file lazy.hpp.


Member Data Documentation

template<typename Context, typename Expr>
Context& metaSMT::detail::lazy_call< Context, Expr >::ctx_

Definition at line 72 of file lazy.hpp.

template<typename Context, typename Expr>
proto::result_of::deep_copy<Expr>::type metaSMT::detail::lazy_call< Context, Expr >::e_

Definition at line 71 of file lazy.hpp.


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