Minotaur 0.4.1
Docs for developers
Public Attributes | List of all members
Minotaur::FixVarsHeurStats Struct Reference

A statistic struct for trivial heuristic. More...

#include <FixVarsHeur.h>

Public Attributes

UInt numSol
 
UInt numPresolve
 
double time
 

Detailed Description

A statistic struct for trivial heuristic.


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

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