klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::ExprHolder Class Reference

#include <STPBuilder.h>

Public Member Functions

 ExprHolder (const ::VCExpr _expr)
 
 ~ExprHolder ()
 

Private Attributes

::VCExpr expr
 
unsigned count
 

Friends

class ExprHandle
 

Detailed Description

Definition at line 28 of file STPBuilder.h.

Constructor & Destructor Documentation

klee::ExprHolder::ExprHolder ( const ::VCExpr  _expr)
inline

Definition at line 34 of file STPBuilder.h.

klee::ExprHolder::~ExprHolder ( )
inline

Definition at line 35 of file STPBuilder.h.

References expr, and vc_DeleteExpr().

Here is the call graph for this function:

Friends And Related Function Documentation

friend class ExprHandle
friend

Definition at line 29 of file STPBuilder.h.

Member Data Documentation

unsigned klee::ExprHolder::count
private
::VCExpr klee::ExprHolder::expr
private

The documentation for this class was generated from the following file: