klee::Expr::Expr::CreateArg Struct Reference

#include <Expr.h>

Collaboration diagram for klee::Expr::Expr::CreateArg:

[legend]

List of all members.

Public Member Functions
	CreateArg (Width w=Bool)
	CreateArg (ref< Expr > e)
bool	isExpr ()
bool	isWidth ()
Public Attributes
ref< Expr >	expr
Width	width

---

Detailed Description

Definition at line 243 of file Expr.h.

---

Constructor & Destructor Documentation

klee::Expr::Expr::CreateArg::CreateArg

(

Width

w = Bool

)

[inline]

Definition at line 247 of file Expr.h.

klee::Expr::Expr::CreateArg::CreateArg

(

ref< Expr >

e

)

[inline]

Definition at line 248 of file Expr.h.

---

Member Function Documentation

bool klee::Expr::Expr::CreateArg::isExpr

(

)

[inline]

Definition at line 250 of file Expr.h.

References klee::Expr::Expr::CreateArg::isWidth().

Here is the call graph for this function:

bool klee::Expr::Expr::CreateArg::isWidth

(

)

[inline]

Definition at line 251 of file Expr.h.

References klee::Expr::InvalidWidth, and klee::Expr::Expr::CreateArg::width.

Referenced by klee::Expr::Expr::CreateArg::isExpr().

Here is the caller graph for this function:

---

Member Data Documentation

ref<Expr> klee::Expr::Expr::CreateArg::expr

Definition at line 244 of file Expr.h.

Width klee::Expr::Expr::CreateArg::width

Definition at line 245 of file Expr.h.

Referenced by klee::Expr::Expr::CreateArg::isWidth().

---

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

• include/klee/Expr.h