klee::Expr::CreateArg Struct Reference

#include <Expr.h>

Collaboration diagram for klee::Expr::CreateArg:

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 293 of file Expr.h.

Constructor & Destructor Documentation

CreateArg() [1/2]

klee::Expr::CreateArg::CreateArg ( Width  w = Bool )

inline

Definition at line 297 of file Expr.h.

CreateArg() [2/2]

klee::Expr::CreateArg::CreateArg ( ref< Expr >  e )

inline

Definition at line 298 of file Expr.h.

Member Function Documentation

isExpr()

bool klee::Expr::CreateArg::isExpr ( )

inline

Definition at line 300 of file Expr.h.

References isWidth().

Here is the call graph for this function:

isWidth()

bool klee::Expr::CreateArg::isWidth ( )

inline

Definition at line 301 of file Expr.h.

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

Referenced by isExpr().

Here is the caller graph for this function:

Member Data Documentation

expr

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

Definition at line 294 of file Expr.h.

width

Width klee::Expr::CreateArg::width

Definition at line 295 of file Expr.h.

Referenced by isWidth().

---

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

• /Users/cristic/klee/include/klee/Expr/Expr.h