DBClause Struct Reference

List of all members.

Public Member Functions
	DBClause (CNode *cl, set< CNode * > &l)
Public Attributes
CNode *	conflict_clause
set< CNode * >	leaves

---

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

• solver/ConflictDatabase.h
• solver/ConflictDatabase.cpp