metaSMT 2
Classes | Namespaces | Functions
metaSMT/Debug_Context.hpp File Reference
#include "Features.hpp"
#include "support/protofy.hpp"
#include <boost/proto/debug.hpp>
#include <cstdio>

Go to the source code of this file.

Classes

struct  metaSMT::Debug_Context< Solver >
struct  metaSMT::features::supports< Debug_Context< Context >, Feature >

Namespaces

namespace  metaSMT
namespace  metaSMT::features

Functions

template<typename Solver , typename Expr >
void metaSMT::assertion (Debug_Context< Solver > &ctx, Expr const &e)
template<typename Solver , typename Expr >
void metaSMT::assumption (Debug_Context< Solver > &ctx, Expr const &e)
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines