klee::LowerSwitchPass::LowerSwitchPass::SwitchCase Struct Reference

#include <Passes.h>

List of all members.

Public Member Functions
	SwitchCase ()
	SwitchCase (llvm::Constant *v, llvm::BasicBlock *b)
Public Attributes
llvm::Constant *	value
llvm::BasicBlock *	block

---

Detailed Description

Definition at line 109 of file Passes.h.

---

Constructor & Destructor Documentation

klee::LowerSwitchPass::LowerSwitchPass::SwitchCase::SwitchCase

(

)

[inline]

Definition at line 113 of file Passes.h.

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

Definition at line 114 of file Passes.h.

---

Member Data Documentation

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

Definition at line 111 of file Passes.h.

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

Definition at line 110 of file Passes.h.

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

---

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

• lib/Module/Passes.h