NullAssignment Struct Reference

List of all members.

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

---

Detailed Description

Definition at line 84 of file CexCachingSolver.cpp.

---

Member Function Documentation

bool NullAssignment::operator()

(

Assignment *

a

)

const [inline]

Definition at line 85 of file CexCachingSolver.cpp.

---

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

• lib/Solver/CexCachingSolver.cpp