klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ExprUtil.h File Reference
#include <vector>
Include dependency graph for ExprUtil.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  klee::ref< T >
 

Namespaces

 klee
 

Functions

void klee::findReads (ref< Expr > e, bool visitUpdates, std::vector< ref< ReadExpr > > &result)
 
void klee::findSymbolicObjects (ref< Expr > e, std::vector< const Array * > &results)
 
template<typename InputIterator >
void klee::findSymbolicObjects (InputIterator begin, InputIterator end, std::vector< const Array * > &results)