klee::SwitchCaseCmp Struct Reference

List of all members.

Public Member Functions
bool	operator() (const LowerSwitchPass::SwitchCase &C1, const LowerSwitchPass::SwitchCase &C2)

---

Detailed Description

Definition at line 27 of file LowerSwitch.cpp.

---

Member Function Documentation

bool klee::SwitchCaseCmp::operator()	(	const LowerSwitchPass::SwitchCase &	C1,
		const LowerSwitchPass::SwitchCase &	C2
	)			[inline]

Definition at line 28 of file LowerSwitch.cpp.

References klee::LowerSwitchPass::LowerSwitchPass::SwitchCase::value.

---

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

• lib/Module/LowerSwitch.cpp