metaSMT git
Classes | Functions

metaSMT::detail Namespace Reference

Classes

struct  argument
struct  replace_args
struct  lazy_call

Functions

template<typename T >
boost::disable_if
< proto::is_expr< T >
, proto::literal< T > >::type 
protofy (T e)

Function Documentation

template<typename T >
boost::enable_if< proto::is_expr< T >, T >::type metaSMT::detail::protofy ( e)

Definition at line 9 of file protofy.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines