metaSMT 2
Classes | Namespaces | Functions
metaSMT/support/lazy.hpp File Reference
#include "protofy.hpp"
#include <boost/proto/core.hpp>
#include <boost/proto/debug.hpp>
#include <boost/proto/transform.hpp>
#include <boost/proto/functional/fusion/at.hpp>
#include <boost/fusion/container/generation/make_vector.hpp>

Go to the source code of this file.

Classes

struct  metaSMT::detail::argument< N >
struct  metaSMT::detail::replace_args
struct  metaSMT::detail::lazy_call< Context, Expr >

Namespaces

namespace  metaSMT
namespace  metaSMT::detail

Functions

template<typename Context , typename Expr >
detail::lazy_call< Context, Expr > metaSMT::lazy (Context &ctx, Expr const &e)
 create a functor from an expression
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines