klee::ExprHandle Class Reference

#include <STPBuilder.h>

Collaboration diagram for klee::ExprHandle:

Public Member Functions
	ExprHandle ()
	ExprHandle (::VCExpr _expr)
	ExprHandle (const ExprHandle &b)
	~ExprHandle ()
ExprHandle &	operator= (const ExprHandle &b)
	operator bool ()
	operator::VCExpr ()

Private Attributes
ExprHolder *	H

Detailed Description

Definition at line 36 of file STPBuilder.h.

Constructor & Destructor Documentation

ExprHandle() [1/3]

klee::ExprHandle::ExprHandle ( )

inline

Definition at line 40 of file STPBuilder.h.

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

ExprHandle() [2/3]

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

inline

Definition at line 41 of file STPBuilder.h.

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

ExprHandle() [3/3]

klee::ExprHandle::ExprHandle ( const ExprHandle &  b )

inline

Definition at line 42 of file STPBuilder.h.

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

~ExprHandle()

klee::ExprHandle::~ExprHandle ( )

inline

Definition at line 43 of file STPBuilder.h.

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

Member Function Documentation

operator bool()

klee::ExprHandle::operator bool ( )

inline

Definition at line 52 of file STPBuilder.h.

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

operator::VCExpr()

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

inline

Definition at line 53 of file STPBuilder.h.

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

operator=()

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

inline

Definition at line 45 of file STPBuilder.h.

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

Member Data Documentation

H

ExprHolder* klee::ExprHandle::H

private

Definition at line 37 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:

• /Users/cristic/klee/lib/Solver/STPBuilder.h