metaSMT 2
|
#include "../Features.hpp"
Go to the source code of this file.
Classes | |
struct | metaSMT::assertion_cmd |
Namespaces | |
namespace | metaSMT |
Functions | |
template<typename Context_ , typename Expr_ > | |
void | metaSMT::assertion (Context_ &ctx, Expr_ const &e) |
add an assumption to the current context |