Minotaur::YEqVars Class Reference

Public Member Functions
	YEqVars (UInt n)
VariablePtr	findY (VariablePtr x, double k)
void	insert (VariablePtr auxvar, VariablePtr x, double k)

---

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

• /home/amahajan/tmp/minotaur-test/src/base/YEqVars.h
• /home/amahajan/tmp/minotaur-test/src/base/YEqVars.cpp