klee::ArrayExprHelper Class Reference

#include <ArrayExprVisitor.h>

Static Public Member Functions

static ReadExprhasOrderedReads (const ConcatExpr &ce)

Static Private Member Functions

static bool isReadExprAtOffset (ref< Expr > e, const ReadExpr *base, ref< Expr > offset)

Detailed Description

Definition at line 24 of file ArrayExprVisitor.h.

Member Function Documentation

◆ hasOrderedReads()

◆ isReadExprAtOffset()

bool ArrayExprHelper::isReadExprAtOffset ( ref< Expr e,
const ReadExpr base,
ref< Expr offset 

Definition at line 19 of file ArrayExprVisitor.cpp.

References klee::ref< T >::get(), klee::ReadExpr::getWidth(), klee::ReadExpr::index, and klee::Expr::Int8.

Referenced by hasOrderedReads().

Here is the call graph for this function:
Here is the caller graph for this function:

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