klee
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 24 of file STPBuilder.h.

Constructor & Destructor Documentation

◆ ExprHolder()

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

Definition at line 30 of file STPBuilder.h.

◆ ~ExprHolder()

klee::ExprHolder::~ExprHolder ( )
inline

Definition at line 31 of file STPBuilder.h.

References expr, and vc_DeleteExpr().

Here is the call graph for this function:

Friends And Related Function Documentation

◆ ExprHandle

friend class ExprHandle
friend

Definition at line 25 of file STPBuilder.h.

Member Data Documentation

◆ count

unsigned klee::ExprHolder::count
private

◆ expr

::VCExpr klee::ExprHolder::expr
private

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