ExistentialEliminator Class Reference

List of all members.

Public Member Functions
	ExistentialEliminator (CNode *c, Term *t, bool overapproximation)
CNode *	get_result ()

---

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

• elimination/ExistentialEliminator.h
• elimination/ExistentialEliminator.cpp