All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
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< Exprexpr
Width width

Detailed Description

Definition at line 257 of file Expr.h.

Constructor & Destructor Documentation

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

Definition at line 261 of file Expr.h.

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

Definition at line 262 of file Expr.h.

Member Function Documentation

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

Definition at line 264 of file Expr.h.

References isWidth().

Here is the call graph for this function:

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

Definition at line 265 of file Expr.h.

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

Referenced by isExpr().

Here is the caller graph for this function:

Member Data Documentation

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

Definition at line 258 of file Expr.h.

Width klee::Expr::CreateArg::width

Definition at line 259 of file Expr.h.

Referenced by isWidth().

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