ReliabilityBrancher.h File Reference

Declare methods and data structures for reliability branching. More...

#include "Brancher.h"

Include dependency graph for ReliabilityBrancher.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Minotaur::RelBrStats
class	Minotaur::ReliabilityBrancher
	A class to select a variable for branching using reliability branching. More...

Namespaces
namespace	Minotaur

Typedefs
typedef ReliabilityBrancher *	Minotaur::ReliabilityBrancherPtr

Detailed Description

Declare methods and data structures for reliability branching.

Author

Prashant Palkar, Meenarli Sharma and Ashutosh Mahajan, IIT Bombay

Ashutosh Mahajan, Argonne National Laboratory