Minotaur 0.4.1
Docs for developers
SOS1Handler.cpp File Reference

Declare the SOS1Handler class for handling SOS type I constraints. It checks integrality and provides branching candidates. Does not do any presolving and cut-generation. More...

#include <cmath>
#include <iomanip>
#include "MinotaurConfig.h"
#include "Branch.h"
#include "Constraint.h"
#include "Environment.h"
#include "Function.h"
#include "Logger.h"
#include "LinearFunction.h"
#include "LinMods.h"
#include "Operations.h"
#include "Option.h"
#include "ProblemSize.h"
#include "Relaxation.h"
#include "Solution.h"
#include "SolutionPool.h"
#include "SOS.h"
#include "SOS1Handler.h"
#include "SOSBrCand.h"
#include "Variable.h"
Include dependency graph for SOS1Handler.cpp:

Detailed Description

Declare the SOS1Handler class for handling SOS type I constraints. It checks integrality and provides branching candidates. Does not do any presolving and cut-generation.

Author
Ashutosh Mahajan, IIT Bombay

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