klee::ExprHandle Class Reference

#include <STPBuilder.h>

Collaboration diagram for klee::ExprHandle:

[legend]

List of all members.

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 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:

• lib/Solver/STPBuilder.h