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