Minotaur::YEqLFs Class Reference

Public Member Functions
	YEqLFs (UInt n)
VariablePtr	findY (LinearFunctionPtr lf, double k)
void	insert (VariablePtr auxvar, LinearFunctionPtr lf, double k)

---

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

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