klee::CmpExpr Class Reference

#include <Expr.h>

Inheritance diagram for klee::CmpExpr:

[legend]

Collaboration diagram for klee::CmpExpr:

[legend]

List of all members.

Public Member Functions
Width	getWidth () const
Static Public Member Functions
static bool	classof (const Expr *E)
static bool	classof (const CmpExpr *)
Protected Member Functions
	CmpExpr (ref< Expr > l, ref< Expr > r)

---

Detailed Description

Definition at line 388 of file Expr.h.

---

Constructor & Destructor Documentation

klee::CmpExpr::CmpExpr	(	ref< Expr >	l,
		ref< Expr >	r
	)			[inline, protected]

Definition at line 391 of file Expr.h.

---

Member Function Documentation

static bool klee::CmpExpr::classof

(

const CmpExpr *

)

[inline, static]

Definition at line 400 of file Expr.h.

static bool klee::CmpExpr::classof

(

const Expr *

E

)

[inline, static]

Reimplemented from klee::BinaryExpr.

Definition at line 396 of file Expr.h.

References klee::Expr::CmpKindFirst, klee::Expr::CmpKindLast, and klee::Expr::getKind().

Here is the call graph for this function:

Width klee::CmpExpr::getWidth

(

)

const [inline, virtual]

Implements klee::Expr.

Definition at line 394 of file Expr.h.

References klee::Expr::Bool.

---

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

• include/klee/Expr.h