GetElementPtrTypeIterator.h File Reference

#include "llvm/IR/User.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/Constants.h"
#include "klee/Config/Version.h"

Include dependency graph for GetElementPtrTypeIterator.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	klee::generic_gep_type_iterator< ItTy >

Namespaces
namespace	klee

Typedefs
typedef generic_gep_type_iterator	klee::gep_type_iterator
typedef generic_gep_type_iterator< llvm::ExtractValueInst::idx_iterator >	klee::ev_type_iterator
typedef generic_gep_type_iterator< llvm::InsertValueInst::idx_iterator >	klee::iv_type_iterator
typedef generic_gep_type_iterator< llvm::SmallVector< unsigned, 4 >::const_iterator >	klee::vce_type_iterator

Functions
gep_type_iterator	klee::gep_type_begin (const llvm::User *GEP)
gep_type_iterator	klee::gep_type_end (const llvm::User *GEP)
gep_type_iterator	klee::gep_type_begin (const llvm::User &GEP)
gep_type_iterator	klee::gep_type_end (const llvm::User &GEP)
ev_type_iterator	klee::ev_type_begin (const llvm::ExtractValueInst *EV)
ev_type_iterator	klee::ev_type_end (const llvm::ExtractValueInst *EV)
iv_type_iterator	klee::iv_type_begin (const llvm::InsertValueInst *IV)
iv_type_iterator	klee::iv_type_end (const llvm::InsertValueInst *IV)
vce_type_iterator	klee::vce_type_begin (const llvm::ConstantExpr *CE)
vce_type_iterator	klee::vce_type_end (const llvm::ConstantExpr *CE)
template<typename ItTy >
generic_gep_type_iterator< ItTy >	klee::gep_type_begin (llvm::Type *Op0, ItTy I, ItTy E)
template<typename ItTy >
generic_gep_type_iterator< ItTy >	klee::gep_type_end (llvm::Type *Op0, ItTy I, ItTy E)