Minotaur 0.4.1
Docs for developers
UnambRelBrancher.cpp File Reference

Define methods for unambiguous reliability branching. More...

#include <cmath>
#include <iomanip>
#include <algorithm>
#include "MinotaurConfig.h"
#include "Branch.h"
#include "BrCand.h"
#include "BrVarCand.h"
#include "Engine.h"
#include "Environment.h"
#include "Handler.h"
#include "Logger.h"
#include "Modification.h"
#include "Node.h"
#include "Option.h"
#include "ProblemSize.h"
#include "Relaxation.h"
#include "UnambRelBrancher.h"
#include "Solution.h"
#include "SolutionPool.h"
#include "Timer.h"
#include "Variable.h"
#include <omp.h>
Include dependency graph for UnambRelBrancher.cpp:

Detailed Description

Define methods for unambiguous reliability branching.

Author
Prashant Palkar, IIT Bombay

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