NonNullAssignment Struct Reference

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

Detailed Description

Definition at line 109 of file CexCachingSolver.cpp.

Member Function Documentation

operator()()

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

inline

Definition at line 110 of file CexCachingSolver.cpp.

---

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

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