Define methods for SOS branching candidates (both Type 1 and 2). More...
#include <cassert>#include <cmath>#include <iomanip>#include <sstream>#include "MinotaurConfig.h"#include "BrCand.h"#include "Logger.h"#include "SOS.h"#include "SOSBrCand.h"#include "Variable.h"
Include dependency graph for SOSBrCand.cpp:
Detailed Description
Define methods for SOS branching candidates (both Type 1 and 2).