klee::PhiCleanerPass Class Reference

#include <Passes.h>

List of all members.

Public Member Functions
	PhiCleanerPass ()
virtual bool	runOnFunction (llvm::Function &f)
Static Private Attributes
static char	ID = 0

---

Detailed Description

Definition at line 83 of file Passes.h.

---

Constructor & Destructor Documentation

klee::PhiCleanerPass::PhiCleanerPass

(

)

[inline]

Definition at line 87 of file Passes.h.

---

Member Function Documentation

virtual bool klee::PhiCleanerPass::runOnFunction

(

llvm::Function &

f

)

[virtual]

---

Member Data Documentation

char klee::PhiCleanerPass::ID = 0 [static, private]

Definition at line 84 of file Passes.h.

---

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

• lib/Module/Passes.h
• lib/Module/PhiCleaner.cpp