klee
Public Member Functions | Public Attributes | List of all members
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 135 of file Passes.h.

Constructor & Destructor Documentation

◆ SwitchCase() [1/2]

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

Definition at line 139 of file Passes.h.

◆ SwitchCase() [2/2]

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

Definition at line 140 of file Passes.h.

Member Data Documentation

◆ block

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

Definition at line 137 of file Passes.h.

◆ value

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

Definition at line 136 of file Passes.h.

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

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