metaSMT git
|
#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 |