|
Minotaur 0.4.1
Docs for developers
|
Public Attributes | |
| UInt | calls |
| UInt | strCalls |
| Total number of calls to solve. | |
| double | time |
| Calls to solve while strong branching. | |
| double | strTime |
| Sum of time taken in all calls to solve. | |
| double | cTime |
| Time taken in strong branching alone. | |
| UInt | iters |
| Time taken in copying data for strong-branching. | |
| UInt | strIters |
| Sum of number of iterations in all calls. | |