AssignmentLessThan Struct Reference

List of all members.

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
	)			[inline]

Definition at line 47 of file CexCachingSolver.cpp.

References klee::Assignment::bindings.

---

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

• lib/Solver/CexCachingSolver.cpp