Minotaur::MaxVioBrStats Struct Reference

Public Attributes
UInt	calls
double	time
	Number of times called to find a branching candidate.

---

The documentation for this struct was generated from the following file:

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