AssignmentLessThan Struct Reference

Public Member Functions
bool	operator() (const Assignment *a, const Assignment *b) const

Detailed Description

Definition at line 59 of file CexCachingSolver.cpp.

Member Function Documentation

operator()()

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

inline

Definition at line 60 of file CexCachingSolver.cpp.

References klee::Assignment::bindings.

---

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

• /Users/cristic/klee/lib/Solver/CexCachingSolver.cpp