DBLeaf Struct Reference

List of all members.

Public Member Functions
	DBLeaf (Leaf *l, DBClause *cl)
Public Attributes
Leaf *	l
set< DBClause * >	conflict_clauses

---

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

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