metaSMT 2
Classes | Namespaces | Functions
metaSMT/API/Assertion.hpp File Reference
#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
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines