metaSMT git
Classes | Namespaces | Functions

metaSMT/Graph_Context.hpp File Reference

#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)
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines