metaSMT 2
|
#include <boost/proto/core.hpp>
Go to the source code of this file.
Namespaces | |
namespace | metaSMT |
namespace | metaSMT::detail |
Functions | |
template<typename T > | |
boost::disable_if < proto::is_expr< T > , proto::literal< T > >::type | metaSMT::detail::protofy (T e) |