VariableEliminator Class Reference

Inheritance diagram for VariableEliminator:

List of all members.

Public Member Functions
	VariableEliminator (CNode *n, vector< VariableTerm * > &to_eliminate, simplification_level level, bool over_approximate, bool track_new_inequalities=false)
	VariableEliminator (CNode *n, VariableTerm *to_eliminate, simplification_level level, bool over_approximate, bool track_new_inequalities=false)
const map< VariableTerm *, set < pair< Term *, Term * > > > &	get_new_inequalities ()

---

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

• solver/VariableEliminator.h
• solver/VariableEliminator.cpp