klee::SwitchCaseCmp Struct Reference

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

Detailed Description

Definition at line 30 of file LowerSwitch.cpp.

Member Function Documentation

operator()()

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

inline

Definition at line 31 of file LowerSwitch.cpp.

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

---

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

• /Users/cristic/klee/lib/Module/LowerSwitch.cpp