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 ( )

Definition at line 116 of file Passes.h.

Member Function Documentation

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

Definition at line 18 of file PhiCleaner.cpp.

Member Data Documentation

char klee::PhiCleanerPass::ID = 0

Definition at line 113 of file Passes.h.

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