MinPrimeImplicant Class Reference

List of all members.

Public Member Functions
	MinPrimeImplicant (CNode *c, set< CNode * > &background, map< VariableTerm *, int > &costs)
int	get_cost ()
const map< Term *, SatValue > &	get_min_assignment ()

---

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

• solver/MinPrimeImplicant.h
• solver/MinPrimeImplicant.cpp