NonNullAssignment Struct Reference

List of all members.

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

---

Detailed Description

Definition at line 88 of file CexCachingSolver.cpp.

---

Member Function Documentation

bool NonNullAssignment::operator()

(

Assignment *

a

)

const [inline]

Definition at line 89 of file CexCachingSolver.cpp.

---

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

• lib/Solver/CexCachingSolver.cpp