All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::SwitchCaseCmp Struct Reference

Public Member Functions

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

Detailed Description

Definition at line 33 of file LowerSwitch.cpp.

Member Function Documentation

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

Definition at line 34 of file LowerSwitch.cpp.

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

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