metaSMT git
|
#include "frontend/Logic.hpp"
#include "frontend/QF_BV.hpp"
#include "support/SMT_Graph.hpp"
#include "support/dot_SMT_Graph.hpp"
#include "support/SMT_File_Writer.hpp"
#include <boost/proto/core.hpp>
#include <boost/proto/context.hpp>
#include <boost/proto/proto.hpp>
#include <boost/proto/make_expr.hpp>
#include <boost/tr1/unordered_map.hpp>
#include <boost/tuple/tuple_comparison.hpp>
#include <iostream>
#include <fstream>
#include <sstream>
#include <map>
#include <exception>
Go to the source code of this file.
Classes | |
class | metaSMT::Graph_Context |
A graph based representation of metaSMT expressions. More... | |
Namespaces | |
namespace | metaSMT |
Functions | |
template<typename Expr > | |
SMT_Expression | metaSMT::evaluate (Graph_Context &ctx, Expr const &e) |