Scippy

UG

Ubiquity Generator framework

#include <cfloat>
#include <cstring>
#include <cstdlib>
#include <unistd.h>
#include <typeinfo>
#include <string>
#include <sstream>
#include "ug/paraInitialStat.h"
#include "ug_bb/bbParaComm.h"
#include "ug_bb/bbParaNode.h"
#include "ug_bb/bbParaInstance.h"
#include "ug_bb/bbParaSolver.h"
#include "ug_bb/bbParaSolution.h"
#include "ug_bb/bbParaSolverTerminationState.h"
#include "objscip/objscip.h"
#include "scipParaTagDef.h"
#include "scipParaParamSet.h"
#include "scipParaObjMessageHdlr.h"
#include "scipParaObjCommPointHdlr.h"
#include "scipParaObjLimitUpdator.h"
#include "scipParaObjProp.h"
#include "scipParaObjBranchRule.h"
#include "scipParaInitialStat.h"
#include "scipParaRacingRampUpParamSet.h"
#include "scipParaObjNodesel.h"
#include "scipParaObjSelfSplitNodesel.h"
#include "scip/scip.h"

Go to the source code of this file.

Macros
#define	CONFLICTHDLR_NAME "conflictCollector"

#define	CONFLICTHDLR_DESC "conflict handler to collect conflicts"

#define	CONFLICTHDLR_PRIORITY +100000000

Functions
void	setUserPlugins (UG::ParaInstance *instance)

void	setUserPlugins (UG::ParaSolver *solver)

static	SCIP_DECL_CONFLICTEXEC (conflictExecCollector)

Macro Definition Documentation

◆ CONFLICTHDLR_DESC

#define CONFLICTHDLR_DESC "conflict handler to collect conflicts"

Definition at line 93 of file scipParaSolver.cpp.

Referenced by ScipParaSolver::reinitialize(), and ScipParaSolver::ScipParaSolver().

◆ CONFLICTHDLR_NAME

#define CONFLICTHDLR_NAME "conflictCollector"

Definition at line 92 of file scipParaSolver.cpp.

Referenced by ScipParaSolver::reinitialize(), SCIP_DECL_CONFLICTEXEC(), and ScipParaSolver::ScipParaSolver().

◆ CONFLICTHDLR_PRIORITY

#define CONFLICTHDLR_PRIORITY +100000000

Definition at line 94 of file scipParaSolver.cpp.

Referenced by ScipParaSolver::reinitialize(), and ScipParaSolver::ScipParaSolver().

Function Documentation

◆ SCIP_DECL_CONFLICTEXEC()

static SCIP_DECL_CONFLICTEXEC ( conflictExecCollector )

static

Definition at line 96 of file scipParaSolver.cpp.

References CONFLICTHDLR_NAME, ScipParaSolver::getConflictConsList(), ScipParaSolver::getOriginalIndex(), LocalNodeInfo_t::idxLinearCoefsVars, ScipParaSolver::isOriginalIndeciesMap(), LocalNodeInfo_t::linearCoefs, LocalNodeInfo_t::linearLhs, LocalNodeInfo_t::linearRhs, and LocalNodeInfo_t::nLinearCoefs.

◆ setUserPlugins() [1/2]

void setUserPlugins ( UG::ParaInstance * instance )

Definition at line 54 of file scipDefaultUserPlugins.cpp.

References ScipParaInstance::setUserPlugins().

◆ setUserPlugins() [2/2]

void setUserPlugins ( UG::ParaSolver * solver )

this should not be used

Definition at line 63 of file scipDefaultUserPlugins.cpp.

References ScipParaSolver::setUserPlugins().