klee::DivCheckPass Class Reference

#include <Passes.h>

List of all members.

Public Member Functions

 DivCheckPass ()
virtual bool runOnModule (llvm::Module &M)

Static Private Attributes

static char ID


Detailed Description

Definition at line 92 of file Passes.h.


Constructor & Destructor Documentation

klee::DivCheckPass::DivCheckPass (  )  [inline]

Definition at line 95 of file Passes.h.


Member Function Documentation

virtual bool klee::DivCheckPass::runOnModule ( llvm::Module &  M  )  [virtual]


Member Data Documentation

char DivCheckPass::ID [static, private]

Definition at line 93 of file Passes.h.


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

Generated on Fri Jun 5 03:32:44 2009 for klee by  doxygen 1.5.8