NullAssignment Struct Reference

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

Detailed Description

Definition at line 105 of file CexCachingSolver.cpp.

Member Function Documentation

operator()()

bool NullAssignment::operator() ( Assignment *  a ) const

inline

Definition at line 106 of file CexCachingSolver.cpp.

---

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

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