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

Definition at line 163 of file Passes.h.

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

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: