All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
AssignmentLessThan Struct Reference

Public Member Functions

bool operator() (const Assignment *a, const Assignment *b)

Detailed Description

Definition at line 46 of file CexCachingSolver.cpp.

Member Function Documentation

bool AssignmentLessThan::operator() ( const Assignment a,
const Assignment b 

Definition at line 47 of file CexCachingSolver.cpp.

References klee::Assignment::bindings.

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