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

#include <STPBuilder.h>

Collaboration diagram for klee::ExprHandle:

Public Member Functions

 ExprHandle ()
 
 ExprHandle (::VCExpr _expr)
 
 ExprHandle (const ExprHandle &b)
 
 ~ExprHandle ()
 
ExprHandleoperator= (const ExprHandle &b)
 
 operator bool ()
 
 operator::VCExpr ()
 

Private Attributes

ExprHolderH
 

Detailed Description

Definition at line 40 of file STPBuilder.h.

Constructor & Destructor Documentation

klee::ExprHandle::ExprHandle ( )
inline

Definition at line 44 of file STPBuilder.h.

References klee::ExprHolder::count, and H.

klee::ExprHandle::ExprHandle ( ::VCExpr  _expr)
inline

Definition at line 45 of file STPBuilder.h.

References klee::ExprHolder::count, and H.

klee::ExprHandle::ExprHandle ( const ExprHandle b)
inline

Definition at line 46 of file STPBuilder.h.

References klee::ExprHolder::count, and H.

klee::ExprHandle::~ExprHandle ( )
inline

Definition at line 47 of file STPBuilder.h.

References klee::ExprHolder::count, and H.

Member Function Documentation

klee::ExprHandle::operator bool ( )
inline

Definition at line 56 of file STPBuilder.h.

References klee::ExprHolder::expr, and H.

klee::ExprHandle::operator::VCExpr ( )
inline

Definition at line 57 of file STPBuilder.h.

References klee::ExprHolder::expr, and H.

ExprHandle& klee::ExprHandle::operator= ( const ExprHandle b)
inline

Definition at line 49 of file STPBuilder.h.

References klee::ExprHolder::count, and H.

Member Data Documentation

ExprHolder* klee::ExprHandle::H
private

Definition at line 41 of file STPBuilder.h.

Referenced by ExprHandle(), operator bool(), operator::VCExpr(), operator=(), and ~ExprHandle().


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