Minotaur 0.4.1
Docs for developers
Public Member Functions | List of all members
Minotaur::YEqUnivar Class Reference

Public Member Functions

VariablePtr findY (VariablePtr v, double a, double b)
 
void insert (VariablePtr auxvar, VariablePtr v, double a, double b)
 

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

Minotaur source code documented by Doxygen 1.9.4 on Thu Apr 24 2025