Cooper Class Reference

List of all members.

Public Member Functions
	Cooper (CNode *c, Term *elim_t)
CNode *	get_result ()

---

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

• elimination/Cooper.h
• elimination/Cooper.cpp