klee
|
#include <ArrayExprVisitor.h>
Public Member Functions | |
IndexCompatibilityExprVisitor ()=default | |
bool | isCompatible () |
bool | hasInnerReads () |
![]() | |
ref< Expr > | visit (const ref< Expr > &e) |
Protected Member Functions | |
Action | visitRead (const ReadExpr &) override |
Action | visitURem (const URemExpr &) override |
Action | visitSRem (const SRemExpr &) override |
Action | visitOr (const OrExpr &) override |
![]() | |
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 | |
bool | compatible {true} |
bool | inner {false} |
Definition at line 52 of file ArrayExprVisitor.h.
|
default |
|
inline |
Definition at line 67 of file ArrayExprVisitor.h.
References inner.
Referenced by klee::ConstantArrayExprVisitor::visitConcat(), and klee::ConstantArrayExprVisitor::visitRead().
|
inline |
Definition at line 66 of file ArrayExprVisitor.h.
References compatible.
Referenced by klee::ConstantArrayExprVisitor::visitConcat(), and klee::ConstantArrayExprVisitor::visitRead().
|
overrideprotectedvirtual |
Reimplemented from klee::ExprVisitor.
Definition at line 154 of file ArrayExprVisitor.cpp.
References compatible, and klee::ExprVisitor::Action::skipChildren().
|
overrideprotectedvirtual |
Reimplemented from klee::ExprVisitor.
Definition at line 134 of file ArrayExprVisitor.cpp.
References compatible, klee::ExprVisitor::Action::doChildren(), klee::UpdateList::head, klee::ReadExpr::index, inner, klee::Array::isConstantArray(), klee::UpdateList::root, klee::ExprVisitor::Action::skipChildren(), and klee::ReadExpr::updates.
|
overrideprotectedvirtual |
Reimplemented from klee::ExprVisitor.
Definition at line 150 of file ArrayExprVisitor.cpp.
References compatible, and klee::ExprVisitor::Action::skipChildren().
|
overrideprotectedvirtual |
Reimplemented from klee::ExprVisitor.
Definition at line 146 of file ArrayExprVisitor.cpp.
References compatible, and klee::ExprVisitor::Action::skipChildren().
|
private |
Definition at line 54 of file ArrayExprVisitor.h.
Referenced by isCompatible(), visitOr(), visitRead(), visitSRem(), and visitURem().
|
private |
Definition at line 55 of file ArrayExprVisitor.h.
Referenced by hasInnerReads(), and visitRead().