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

Constructor & Destructor Documentation

◆ CreateArg() [1/2]

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

Definition at line 297 of file Expr.h.

◆ CreateArg() [2/2]

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

Definition at line 298 of file Expr.h.

Member Function Documentation

◆ isExpr()

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

Definition at line 300 of file Expr.h.

References isWidth().

Here is the call graph for this function:

◆ isWidth()

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

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: