Minotaur 0.4.1
Docs for developers
Classes | Namespaces | Typedefs
FixVarsHeur.h File Reference

Define the class FixVarsHeur derived from base class Heuristics. More...

#include "Heuristic.h"
#include "Types.h"
Include dependency graph for FixVarsHeur.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Minotaur::FixVarsHeurStats
 A statistic struct for trivial heuristic. More...
 
class  Minotaur::FixVarsHeur
 

Namespaces

namespace  Minotaur
 

Typedefs

typedef FixVarsHeur * Minotaur::FixVarsHeurPtr
 

Detailed Description

Define the class FixVarsHeur derived from base class Heuristics.

Author
Mustafa Vora, Indian Institute of Technology Bombay

Declares the class FixVarsHeur.


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