klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::PhiCleanerPass Class Reference

#include <Passes.h>

Inherits FunctionPass.

Public Member Functions

 PhiCleanerPass ()
 
virtual bool runOnFunction (llvm::Function &f)
 

Static Private Attributes

static char ID = 0
 

Detailed Description

Definition at line 112 of file Passes.h.

Constructor & Destructor Documentation

klee::PhiCleanerPass::PhiCleanerPass ( )
inline

Definition at line 116 of file Passes.h.

Member Function Documentation

bool klee::PhiCleanerPass::runOnFunction ( llvm::Function &  f)
virtual

Definition at line 18 of file PhiCleaner.cpp.

Member Data Documentation

char klee::PhiCleanerPass::ID = 0
staticprivate

Definition at line 113 of file Passes.h.


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