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_ |
template<typename Context, typename Expr>
struct metaSMT::detail::lazy_call< Context, Expr >
Definition at line 38 of file lazy.hpp.