deducer Class Reference

Class that holds the data used to analyze a conflict. More...

#include <brain.h>

Collaboration diagram for deducer:

Public Member Functions
void	deduce (deduction &dct, long max_lv=INVALID_LEVEL)
	It does normal resolution analysis (CDCL).

Detailed Description

Class that holds the data used to analyze a conflict.

---

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

• /home/jose/devel/ben-jose/src/library/brain/brain.h
• /home/jose/devel/ben-jose/src/library/brain/deducer.cpp
• /home/jose/devel/ben-jose/src/library/debug/dbg_brain.cpp