klee::IndexTransformationExprVisitor Class Reference

#include <ArrayExprVisitor.h>

Inheritance diagram for klee::IndexTransformationExprVisitor:

Collaboration diagram for klee::IndexTransformationExprVisitor:

Public Member Functions
	IndexTransformationExprVisitor (const Array *_array)
Expr::Width	getWidth ()
ref< Expr >	getMul ()
Public Member Functions inherited from klee::ExprVisitor
ref< Expr >	visit (const ref< Expr > &e)

Protected Member Functions
Action	visitConcat (const ConcatExpr &) override
Action	visitMul (const MulExpr &) override
Protected Member Functions inherited from klee::ExprVisitor
	ExprVisitor (bool _recursive=false)
virtual	~ExprVisitor ()
virtual Action	visitExpr (const Expr &)
virtual Action	visitExprPost (const Expr &)
virtual Action	visitNotOptimized (const NotOptimizedExpr &)
virtual Action	visitRead (const ReadExpr &)
virtual Action	visitSelect (const SelectExpr &)
virtual Action	visitConcat (const ConcatExpr &)
virtual Action	visitExtract (const ExtractExpr &)
virtual Action	visitZExt (const ZExtExpr &)
virtual Action	visitSExt (const SExtExpr &)
virtual Action	visitAdd (const AddExpr &)
virtual Action	visitSub (const SubExpr &)
virtual Action	visitMul (const MulExpr &)
virtual Action	visitUDiv (const UDivExpr &)
virtual Action	visitSDiv (const SDivExpr &)
virtual Action	visitURem (const URemExpr &)
virtual Action	visitSRem (const SRemExpr &)
virtual Action	visitNot (const NotExpr &)
virtual Action	visitAnd (const AndExpr &)
virtual Action	visitOr (const OrExpr &)
virtual Action	visitXor (const XorExpr &)
virtual Action	visitShl (const ShlExpr &)
virtual Action	visitLShr (const LShrExpr &)
virtual Action	visitAShr (const AShrExpr &)
virtual Action	visitEq (const EqExpr &)
virtual Action	visitNe (const NeExpr &)
virtual Action	visitUlt (const UltExpr &)
virtual Action	visitUle (const UleExpr &)
virtual Action	visitUgt (const UgtExpr &)
virtual Action	visitUge (const UgeExpr &)
virtual Action	visitSlt (const SltExpr &)
virtual Action	visitSle (const SleExpr &)
virtual Action	visitSgt (const SgtExpr &)
virtual Action	visitSge (const SgeExpr &)

Private Attributes
const Array *	array
Expr::Width	width
ref< Expr >	mul

Detailed Description

Definition at line 70 of file ArrayExprVisitor.h.

Constructor & Destructor Documentation

IndexTransformationExprVisitor()

klee::IndexTransformationExprVisitor::IndexTransformationExprVisitor ( const Array *  _array )

inlineexplicit

Definition at line 81 of file ArrayExprVisitor.h.

Member Function Documentation

getMul()

ref< Expr > klee::IndexTransformationExprVisitor::getMul ( )

inline

Definition at line 87 of file ArrayExprVisitor.h.

References mul.

Referenced by klee::ExprOptimizer::computeIndexes(), and klee::ExprRewriter::rewrite().

Here is the caller graph for this function:

getWidth()

Expr::Width klee::IndexTransformationExprVisitor::getWidth ( )

inline

Definition at line 84 of file ArrayExprVisitor.h.

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

Referenced by klee::ExprOptimizer::computeIndexes(), and klee::ExprRewriter::rewrite().

Here is the caller graph for this function:

visitConcat()

ExprVisitor::Action IndexTransformationExprVisitor::visitConcat ( const ConcatExpr &  ce )

overrideprotectedvirtual

Reimplemented from klee::ExprVisitor.

Definition at line 160 of file ArrayExprVisitor.cpp.

References array, klee::ExprVisitor::Action::doChildren(), klee::ConcatExpr::getKid(), klee::ConcatExpr::getWidth(), klee::Array::hash(), klee::Expr::InvalidWidth, and width.

Here is the call graph for this function:

visitMul()

ExprVisitor::Action IndexTransformationExprVisitor::visitMul ( const MulExpr &  e )

overrideprotectedvirtual

Reimplemented from klee::ExprVisitor.

Definition at line 174 of file ArrayExprVisitor.cpp.

References klee::ExprVisitor::Action::doChildren(), and mul.

Here is the call graph for this function:

Member Data Documentation

array

const Array* klee::IndexTransformationExprVisitor::array

private

Definition at line 72 of file ArrayExprVisitor.h.

Referenced by visitConcat().

mul

ref<Expr> klee::IndexTransformationExprVisitor::mul

private

Definition at line 74 of file ArrayExprVisitor.h.

Referenced by getMul(), and visitMul().

width

Expr::Width klee::IndexTransformationExprVisitor::width

private

Definition at line 73 of file ArrayExprVisitor.h.

Referenced by getWidth(), and visitConcat().

---

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

• /Users/cristic/klee/include/klee/Expr/ArrayExprVisitor.h
• /Users/cristic/klee/lib/Expr/ArrayExprVisitor.cpp