STPBuilder.h File Reference

#include "klee/util/ExprHashMap.h"
#include "klee/Config/config.h"
#include <vector>
#include <map>
#include "stp/c_interface.h"

Include dependency graph for STPBuilder.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	klee::ExprHolder
class	klee::ExprHandle
class	klee::STPBuilder
Namespaces
namespace	klee
Defines
#define	Expr   VCExpr

---

Define Documentation

#define Expr   VCExpr

Definition at line 19 of file STPBuilder.h.