ConflictDatabase Class Reference

List of all members.

Static Public Member Functions
static void	add_conflict_clause (CNode *conflict_clause)
static void	get_conflict_clauses (CNode *formula, set< CNode * > &conflict_clauses)
static void	clear ()
static void	print_conflict_clauses ()

---

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

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