Minotaur 0.4.1
Docs for developers
IntVarHandler.cpp File Reference

Define the IntVarHandler class for handling integer constrained variables. It checks integrality and provides branching candidates. Does not do any presolving and cut-generation. More...

#include <cmath>
#include "MinotaurConfig.h"
#include "BrVarCand.h"
#include "Branch.h"
#include "Environment.h"
#include "IntVarHandler.h"
#include "Logger.h"
#include "Option.h"
#include "ProblemSize.h"
#include "Relaxation.h"
#include "Solution.h"
#include "SolutionPool.h"
#include "Types.h"
#include "VarBoundMod.h"
#include "Variable.h"
Include dependency graph for IntVarHandler.cpp:

Detailed Description

Define the IntVarHandler class for handling integer constrained variables. It checks integrality and provides branching candidates. Does not do any presolving and cut-generation.

Author
Ashutosh Mahajan, Argonne National Laboratory

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