klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::LowerSwitchPass::SwitchCase Struct Reference

#include <Passes.h>

Public Member Functions

 SwitchCase ()
 
 SwitchCase (llvm::Constant *v, llvm::BasicBlock *b)
 

Public Attributes

llvm::Constant * value
 
llvm::BasicBlock * block
 

Detailed Description

Definition at line 159 of file Passes.h.

Constructor & Destructor Documentation

klee::LowerSwitchPass::SwitchCase::SwitchCase ( )
inline

Definition at line 163 of file Passes.h.

klee::LowerSwitchPass::SwitchCase::SwitchCase ( llvm::Constant *  v,
llvm::BasicBlock *  b 
)
inline

Definition at line 164 of file Passes.h.

Member Data Documentation

llvm::BasicBlock* klee::LowerSwitchPass::SwitchCase::block

Definition at line 161 of file Passes.h.

llvm ::Constant* klee::LowerSwitchPass::SwitchCase::value

Definition at line 160 of file Passes.h.

Referenced by klee::SwitchCaseCmp::operator()().


The documentation for this struct was generated from the following file: