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

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

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

Go to the source code of this file.

Classes

struct  Minotaur::SamplingHeurStats
 A statistic struct for trivial heuristic. More...
 
class  Minotaur::SamplingHeur
 

Namespaces

namespace  Minotaur
 

Typedefs

typedef SamplingHeur * Minotaur::SamplingHeurPtr
 

Detailed Description

Define the class SamplingHeur derived from base class Heuristics.

Author
Mustafa Vora, Indian Institute of Technology Bombay

Declares the class SamplingHeur.


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