ParaSCIP Namespace Reference

Classes
struct	BoundChange
struct	BranchConsLinearInfo_t
struct	BranchConsSetppcInfo_t
struct	LocalNodeInfo_t
class	ScipDiffParamSet
class	ScipDiffParamSetMpi
class	ScipDiffParamSetTh
class	ScipParaCommMpi
class	ScipParaDeterministicTimer
class	ScipParaDiffSubproblem
class	ScipParaDiffSubproblemBoundDisjunctions
class	ScipParaDiffSubproblemBranchLinearCons
class	ScipParaDiffSubproblemBranchSetppcCons
class	ScipParaDiffSubproblemLinearCons
class	ScipParaDiffSubproblemMpi
class	ScipParaDiffSubproblemTh
class	ScipParaDiffSubproblemVarBranchStats
class	ScipParaDiffSubproblemVarValues
class	ScipParaInitialStat
class	ScipParaInitialStatMpi
class	ScipParaInitialStatTh
class	ScipParaInitiator
class	ScipParaInstance
class	ScipParaInstanceMpi
class	ScipParaInstanceTh
class	ScipParaInterruptMsgMonitor
class	ScipParaLoadCoordinator
	Class for LoadCoordinator. More...
class	ScipParaObjBranchRule
class	ScipParaObjCommPointHdlr
class	ScipParaObjLimitUpdator
class	ScipParaObjMessageHdlr
class	ScipParaObjNodesel
	C++ wrapper for primal heuristics. More...
class	ScipParaObjProp
	C++ wrapper for propagators. More...
class	ScipParaParamSet
	class BbParaParamSet More...
class	ScipParaRacingRampUpParamSet
class	ScipParaRacingRampUpParamSetMpi
class	ScipParaRacingRampUpParamSetTh
class	ScipParaSolution
class	ScipParaSolutionMpi
class	ScipParaSolutionTh
class	ScipParaSolver
class	ScipUserPlugins

Typedefs
typedef ScipDiffParamSet *	ScipDiffParamSetPtr
typedef struct ParaSCIP::BranchConsLinearInfo_t	BranchConsLinearInfo
typedef BranchConsLinearInfo *	BranchConsLinearInfoPtr
typedef struct ParaSCIP::BranchConsSetppcInfo_t	BranchConsSetppcInfo
typedef BranchConsSetppcInfo *	BranchConsSetppcInfoPtr
typedef ScipParaInitiator *	ScipParaInitiatorPtr
typedef ScipParaInstanceMpi *	ScipParaInstanceMpiPtr
typedef ScipParaInstanceTh *	ScipParaInstanceThPtr
typedef ScipParaSolutionMpi *	ScipParaSolutionMpiPtr
typedef ScipParaSolutionTh *	ScipParaSolutionThPtr
typedef struct ParaSCIP::LocalNodeInfo_t	LocalNodeInfo
typedef LocalNodeInfo *	LocalNodeInfoPtr

Functions
bool	tagStringTableIsSetUpCoorectly ()
	check if tag string table (for debugging) set up correctly More...
const char *	getTagString (int tag)
	get Tag string for debugging More...
	ScipParaCommTh ()
	~ScipParaCommTh ()
void	lockInterruptMsg ()
	lock interrupt message monitor to synchronize with the monitor thread More...
void	unlockInterruptMsg ()
	unlock interrupt message monitor to synchronize with the monitor thread More...
UG::ParaDiffSubproblem *	createParaDiffSubproblem ()
UG::ParaInitialStat *	createParaInitialStat ()
UG::ParaRacingRampUpParamSet *	createParaRacingRampUpParamSet ()
UG::ParaInstance *	createParaInstance ()
UG::ParaSolution *	createParaSolution ()
UG::ParaParamSet *	createParaParamSet ()
ScipParaInstance *	createScipParaInstance (SCIP *scip, int method)
ScipParaSolution *	createScipParaSolution (ScipParaSolver *solver, SCIP_Real objval, int inNvars, SCIP_VAR **vars, SCIP_Real *vals)
ScipParaSolution *	createScipParaSolution (SCIP_Real objval, int inNvars, int *inIndicesAmongSolvers, SCIP_Real *vals)
ScipParaDiffSubproblem *	createScipParaDiffSubproblem (SCIP *scip, ScipParaSolver *scipParaSolver, int nNewBranchVars, SCIP_VAR **newBranchVars, SCIP_Real *newBranchBounds, SCIP_BOUNDTYPE *newBoundTypes, int nAddedConss, SCIP_CONS **addedConss)
ScipParaInitialStat *	createScipParaInitialStat (SCIP *scip)
ScipParaInitialStat *	createScipParaInitialStat (int inMaxDepth, int inMaxTotalDepth, int inNVarBranchStatsDown, int inNVarBranchStatsUp, int *inIdxLBranchStatsVarsDown, int *inNVarBranchingDown, int *inIdxLBranchStatsVarsUp, int *inNVarBranchingUp, SCIP_Real *inDownpscost, SCIP_Real *inDownvsids, SCIP_Real *inDownconflen, SCIP_Real *inDowninfer, SCIP_Real *inDowncutoff, SCIP_Real *inUppscost, SCIP_Real *inUpvsids, SCIP_Real *inUpconflen, SCIP_Real *inUpinfer, SCIP_Real *inUpcutoff)
ScipParaRacingRampUpParamSet *	createScipParaRacingRampUpParamSet (int inTerminationCriteria, int inNNodesLeft, double inTimeLimit, int inScipRacingParamSeed, int inPermuteProbSeed, int inGenerateBranchOrderSeed, ScipDiffParamSet *inScipDiffParamSet)
ScipDiffParamSet *	createScipDiffParamSet ()
ScipDiffParamSet *	createScipDiffParamSet (SCIP *scip)
	SCIP_DECL_ERRORPRINTING (scip_errorfunction)

Variables
static const int	SCIP_USER_TYPE_FIRST = UG::BB_USER_TYPE_LAST + 1
	scip defined transfer data types More...
static const int	ParaInitialStatType = SCIP_USER_TYPE_FIRST + 0
static const char *	tagStringTable []
	mutex for interrupt message monitor More...
static const int	ScipParaParamsFirst = UG::BbParaParamsLast + 1
	Bool parameters. More...
static const int	ScipParaParamsBoolFirst = ScipParaParamsFirst
static const int	RootNodeSolvabilityCheck = ScipParaParamsBoolFirst + 0
static const int	CustomizedToSharedMemory = ScipParaParamsBoolFirst + 1
static const int	LocalBranching = ScipParaParamsBoolFirst + 2
static const int	ScipParaParamsBoolLast = ScipParaParamsBoolFirst + 2
static const int	ScipParaParamsBoolN = ScipParaParamsBoolLast - ScipParaParamsBoolFirst + 1
static const int	ScipParaParamsIntFirst = ScipParaParamsBoolLast + 1
	Int parameters. More...
static const int	AddDualBoundCons = ScipParaParamsIntFirst + 0
static const int	ScipParaParamsIntLast = ScipParaParamsIntFirst + 0
static const int	ScipParaParamsIntN = ScipParaParamsIntLast - ScipParaParamsIntFirst + 1
static const int	ScipParaParamsLongintFirst = ScipParaParamsIntLast + 1
	Longint parameters. More...
static const int	ScipParaParamsLongintLast = ScipParaParamsLongintFirst - 1
static const int	ScipParaParamsLongintN = ScipParaParamsLongintLast - ScipParaParamsLongintFirst + 1
static const int	ScipParaParamsRealFirst = ScipParaParamsLongintLast + 1
	Real parameters. More...
static const int	MemoryLimit = ScipParaParamsRealFirst + 0
static const int	ScipParaParamsRealLast = ScipParaParamsRealFirst + 0
static const int	ScipParaParamsRealN = ScipParaParamsRealLast - ScipParaParamsRealFirst + 1
static const int	ScipParaParamsCharFirst = ScipParaParamsRealLast + 1
	Char parameters. More...
static const int	ScipParaParamsCharLast = ScipParaParamsCharFirst - 1
static const int	ScipParaParamsCharN = ScipParaParamsCharLast - ScipParaParamsCharFirst + 1
static const int	ScipParaParamsStringFirst = ScipParaParamsCharLast +1
	String parameters. More...
static const int	ScipParaParamsStringLast = ScipParaParamsStringFirst - 1
static const int	ScipParaParamsStringN = ScipParaParamsStringLast - ScipParaParamsStringFirst + 1
static const int	ScipParaParamsLast = ScipParaParamsStringLast
static const int	ScipParaParamsSize = ScipParaParamsLast + 1
static const int	TAG_SCIP_FIRST = UG::TAG_BB_LAST + 1
static const int	TagInitialStat = TAG_SCIP_FIRST + 0
static const int	TAG_SCIP_BASE_LAST = TAG_SCIP_FIRST + 0
static const int	N_SCIP_BASE_TAGS = TAG_SCIP_BASE_LAST - UG::TAG_UG_FIRST + 1

Typedef Documentation

BranchConsLinearInfo

typedef struct ParaSCIP::BranchConsLinearInfo_t BranchConsLinearInfo

BranchConsLinearInfoPtr

typedef BranchConsLinearInfo* BranchConsLinearInfoPtr

Definition at line 70 of file scipParaDiffSubproblem.h.

BranchConsSetppcInfo

typedef struct ParaSCIP::BranchConsSetppcInfo_t BranchConsSetppcInfo

BranchConsSetppcInfoPtr

typedef BranchConsSetppcInfo* BranchConsSetppcInfoPtr

Definition at line 82 of file scipParaDiffSubproblem.h.

LocalNodeInfo

typedef struct ParaSCIP::LocalNodeInfo_t LocalNodeInfo

LocalNodeInfoPtr

typedef LocalNodeInfo* LocalNodeInfoPtr

Definition at line 70 of file scipParaSolver.h.

ScipDiffParamSetPtr

typedef ScipDiffParamSet * ScipDiffParamSetPtr

Definition at line 88 of file scipDiffParamSetMpi.h.

ScipParaInitiatorPtr

typedef ScipParaInitiator* ScipParaInitiatorPtr

Definition at line 362 of file scipParaInitiator.h.

ScipParaInstanceMpiPtr

typedef ScipParaInstanceMpi* ScipParaInstanceMpiPtr

Definition at line 308 of file scipParaInstanceMpi.h.

ScipParaInstanceThPtr

typedef ScipParaInstanceTh* ScipParaInstanceThPtr

Definition at line 419 of file scipParaInstanceTh.h.

ScipParaSolutionMpiPtr

typedef ScipParaSolutionMpi* ScipParaSolutionMpiPtr

Definition at line 102 of file scipParaSolutionMpi.h.

ScipParaSolutionThPtr

typedef ScipParaSolutionTh* ScipParaSolutionThPtr

Definition at line 101 of file scipParaSolutionTh.h.

Function Documentation

createParaDiffSubproblem()

UG::ParaDiffSubproblem* ParaSCIP::createParaDiffSubproblem

(

)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createParaInitialStat()

UG::ParaInitialStat* ParaSCIP::createParaInitialStat

(

)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createParaInstance()

UG::ParaInstance* ParaSCIP::createParaInstance

(

)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createParaParamSet()

UG::ParaParamSet* ParaSCIP::createParaParamSet

(

)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createParaRacingRampUpParamSet()

UG::ParaRacingRampUpParamSet* ParaSCIP::createParaRacingRampUpParamSet

(

)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createParaSolution()

UG::ParaSolution* ParaSCIP::createParaSolution

(

)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createScipDiffParamSet() [1/2]

ScipDiffParamSet* ParaSCIP::createScipDiffParamSet

(

)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createScipDiffParamSet() [2/2]

ScipDiffParamSet* ParaSCIP::createScipDiffParamSet

(

SCIP *

scip

)

createScipParaDiffSubproblem()

ScipParaDiffSubproblem* ParaSCIP::createScipParaDiffSubproblem	(	SCIP *	scip,
		ScipParaSolver *	scipParaSolver,
		int	nNewBranchVars,
		SCIP_VAR **	newBranchVars,
		SCIP_Real *	newBranchBounds,
		SCIP_BOUNDTYPE *	newBoundTypes,
		int	nAddedConss,
		SCIP_CONS **	addedConss
	)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createScipParaInitialStat() [1/2]

ScipParaInitialStat* ParaSCIP::createScipParaInitialStat

(

SCIP *

scip

)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createScipParaInitialStat() [2/2]

ScipParaInitialStat* ParaSCIP::createScipParaInitialStat	(	int	inMaxDepth,
		int	inMaxTotalDepth,
		int	inNVarBranchStatsDown,
		int	inNVarBranchStatsUp,
		int *	inIdxLBranchStatsVarsDown,
		int *	inNVarBranchingDown,
		int *	inIdxLBranchStatsVarsUp,
		int *	inNVarBranchingUp,
		SCIP_Real *	inDownpscost,
		SCIP_Real *	inDownvsids,
		SCIP_Real *	inDownconflen,
		SCIP_Real *	inDowninfer,
		SCIP_Real *	inDowncutoff,
		SCIP_Real *	inUppscost,
		SCIP_Real *	inUpvsids,
		SCIP_Real *	inUpconflen,
		SCIP_Real *	inUpinfer,
		SCIP_Real *	inUpcutoff
	)

createScipParaInstance()

ScipParaInstance* ParaSCIP::createScipParaInstance	(	SCIP *	scip,
		int	method
	)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createScipParaRacingRampUpParamSet()

ScipParaRacingRampUpParamSet* ParaSCIP::createScipParaRacingRampUpParamSet	(	int	inTerminationCriteria,
		int	inNNodesLeft,
		double	inTimeLimit,
		int	inScipRacingParamSeed,
		int	inPermuteProbSeed,
		int	inGenerateBranchOrderSeed,
		ScipDiffParamSet *	inScipDiffParamSet
	)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createScipParaSolution() [1/2]

ScipParaSolution* ParaSCIP::createScipParaSolution	(	ScipParaSolver *	solver,
		SCIP_Real	objval,
		int	inNvars,
		SCIP_VAR **	vars,
		SCIP_Real *	vals
	)

Referenced by unlockInterruptMsg(), and ~ScipParaCommTh().

createScipParaSolution() [2/2]

ScipParaSolution* ParaSCIP::createScipParaSolution	(	SCIP_Real	objval,
		int	inNvars,
		int *	inIndicesAmongSolvers,
		SCIP_Real *	vals
	)

getTagString()

const char* ParaSCIP::getTagString ( int  tag )

protected

get Tag string for debugging

Returns

string which shows Tag

Parameters

tag	tag to be converted to string

Referenced by ParaCommCPP11::createParaTimer(), ParaCommPth::createParaTimer(), and ScipParaCommMpi::getTagString().

lockInterruptMsg()

void ParaSCIP::lockInterruptMsg

(

)

lock interrupt message monitor to synchronize with the monitor thread

Definition at line 96 of file scipParaCommTh.h.

SCIP_DECL_ERRORPRINTING()

ParaSCIP::SCIP_DECL_ERRORPRINTING

(

scip_errorfunction

)

error message function as used by SCIP

Definition at line 137 of file scipParaObjMessageHdlr.cpp.

References ScipParaObjMessageHdlr::getlogfile(), and ScipParaObjMessageHdlr::scip_error().

Referenced by ScipParaObjMessageHdlr::getlogfile().

ScipParaCommTh()

ParaSCIP::ScipParaCommTh

(

)

Definition at line 90 of file scipParaCommTh.h.

References ~ScipParaCommTh().

Referenced by main().

tagStringTableIsSetUpCoorectly()

bool ParaSCIP::tagStringTableIsSetUpCoorectly ( )

protected

check if tag string table (for debugging) set up correctly

Returns

true if tag string table is set up correctly, false otherwise

unlockInterruptMsg()

void ParaSCIP::unlockInterruptMsg

(

)

unlock interrupt message monitor to synchronize with the monitor thread

Definition at line 105 of file scipParaCommTh.h.

References createParaDiffSubproblem(), createParaInitialStat(), createParaInstance(), createParaParamSet(), createParaRacingRampUpParamSet(), createParaSolution(), createScipDiffParamSet(), createScipParaDiffSubproblem(), createScipParaInitialStat(), createScipParaInstance(), createScipParaRacingRampUpParamSet(), and createScipParaSolution().

~ScipParaCommTh()

~ScipParaCommTh

(

)

Definition at line 88 of file scipParaCommTh.cpp.

References ABORT_LOGICAL_ERROR2, createParaDiffSubproblem(), createParaInitialStat(), createParaInstance(), createParaParamSet(), createParaRacingRampUpParamSet(), createParaSolution(), createScipDiffParamSet(), createScipParaDiffSubproblem(), createScipParaInitialStat(), createScipParaInstance(), createScipParaRacingRampUpParamSet(), createScipParaSolution(), MessageQueueElement::getData(), MessageQueueElement::getDataTypeId(), LOCK_RAII, ParaInitialStatType, UG::ParaSolverDiffParamType, and rankLockMutex.

Referenced by ScipParaCommTh().

Variable Documentation

AddDualBoundCons

const int AddDualBoundCons = ScipParaParamsIntFirst + 0

static

Definition at line 71 of file scipParaParamSet.h.

Referenced by ScipParaSolver::createSubproblem(), and ScipParaParamSet::ScipParaParamSet().

CustomizedToSharedMemory

const int CustomizedToSharedMemory = ScipParaParamsBoolFirst + 1

static

Definition at line 61 of file scipParaParamSet.h.

Referenced by ScipParaParamSet::ScipParaParamSet(), and ScipParaSolver::setRacingParams().

LocalBranching

const int LocalBranching = ScipParaParamsBoolFirst + 2

static

Definition at line 62 of file scipParaParamSet.h.

Referenced by ScipParaParamSet::ScipParaParamSet().

MemoryLimit

const int MemoryLimit = ScipParaParamsRealFirst + 0

static

Definition at line 88 of file scipParaParamSet.h.

Referenced by ScipParaInitiator::init(), ScipParaParamSet::ScipParaParamSet(), and ScipParaSolver::ScipParaSolver().

N_SCIP_BASE_TAGS

const int N_SCIP_BASE_TAGS = TAG_SCIP_BASE_LAST - UG::TAG_UG_FIRST + 1

static

Definition at line 51 of file scipParaTagDef.h.

ParaInitialStatType

const int ParaInitialStatType = SCIP_USER_TYPE_FIRST + 0

static

Definition at line 55 of file scipParaCommTh.h.

Referenced by ScipParaInitialStatTh::receive(), ScipParaInitialStatTh::send(), and ~ScipParaCommTh().

RootNodeSolvabilityCheck

const int RootNodeSolvabilityCheck = ScipParaParamsBoolFirst + 0

static

Definition at line 60 of file scipParaParamSet.h.

Referenced by ScipParaObjCommPointHdlr::checkRootNodeSolvabilityAndSendParaNode(), ScipParaObjCommPointHdlr::ScipParaObjCommPointHdlr(), and ScipParaParamSet::ScipParaParamSet().

SCIP_USER_TYPE_FIRST

const int SCIP_USER_TYPE_FIRST = UG::BB_USER_TYPE_LAST + 1

static

scip defined transfer data types

Definition at line 54 of file scipParaCommTh.h.

ScipParaParamsBoolFirst

const int ScipParaParamsBoolFirst = ScipParaParamsFirst

static

Definition at line 58 of file scipParaParamSet.h.

ScipParaParamsBoolLast

const int ScipParaParamsBoolLast = ScipParaParamsBoolFirst + 2

static

Definition at line 64 of file scipParaParamSet.h.

ScipParaParamsBoolN

const int ScipParaParamsBoolN = ScipParaParamsBoolLast - ScipParaParamsBoolFirst + 1

static

Definition at line 65 of file scipParaParamSet.h.

ScipParaParamsCharFirst

const int ScipParaParamsCharFirst = ScipParaParamsRealLast + 1

static

Char parameters.

Definition at line 95 of file scipParaParamSet.h.

ScipParaParamsCharLast

const int ScipParaParamsCharLast = ScipParaParamsCharFirst - 1

static

Definition at line 98 of file scipParaParamSet.h.

ScipParaParamsCharN

const int ScipParaParamsCharN = ScipParaParamsCharLast - ScipParaParamsCharFirst + 1

static

Definition at line 99 of file scipParaParamSet.h.

ScipParaParamsFirst

const int ScipParaParamsFirst = UG::BbParaParamsLast + 1

static

Bool parameters.

Definition at line 57 of file scipParaParamSet.h.

ScipParaParamsIntFirst

const int ScipParaParamsIntFirst = ScipParaParamsBoolLast + 1

static

Int parameters.

Definition at line 69 of file scipParaParamSet.h.

ScipParaParamsIntLast

const int ScipParaParamsIntLast = ScipParaParamsIntFirst + 0

static

Definition at line 73 of file scipParaParamSet.h.

ScipParaParamsIntN

const int ScipParaParamsIntN = ScipParaParamsIntLast - ScipParaParamsIntFirst + 1

static

Definition at line 74 of file scipParaParamSet.h.

ScipParaParamsLast

const int ScipParaParamsLast = ScipParaParamsStringLast

static

Definition at line 108 of file scipParaParamSet.h.

ScipParaParamsLongintFirst

const int ScipParaParamsLongintFirst = ScipParaParamsIntLast + 1

static

Longint parameters.

Definition at line 78 of file scipParaParamSet.h.

ScipParaParamsLongintLast

const int ScipParaParamsLongintLast = ScipParaParamsLongintFirst - 1

static

Definition at line 81 of file scipParaParamSet.h.

ScipParaParamsLongintN

const int ScipParaParamsLongintN = ScipParaParamsLongintLast - ScipParaParamsLongintFirst + 1

static

Definition at line 82 of file scipParaParamSet.h.

ScipParaParamsRealFirst

const int ScipParaParamsRealFirst = ScipParaParamsLongintLast + 1

static

Real parameters.

Definition at line 86 of file scipParaParamSet.h.

ScipParaParamsRealLast

const int ScipParaParamsRealLast = ScipParaParamsRealFirst + 0

static

Definition at line 90 of file scipParaParamSet.h.

ScipParaParamsRealN

const int ScipParaParamsRealN = ScipParaParamsRealLast - ScipParaParamsRealFirst + 1

static

Definition at line 91 of file scipParaParamSet.h.

ScipParaParamsSize

const int ScipParaParamsSize = ScipParaParamsLast + 1

static

Definition at line 109 of file scipParaParamSet.h.

ScipParaParamsStringFirst

const int ScipParaParamsStringFirst = ScipParaParamsCharLast +1

static

String parameters.

Definition at line 103 of file scipParaParamSet.h.

ScipParaParamsStringLast

const int ScipParaParamsStringLast = ScipParaParamsStringFirst - 1

static

Definition at line 106 of file scipParaParamSet.h.

ScipParaParamsStringN

const int ScipParaParamsStringN = ScipParaParamsStringLast - ScipParaParamsStringFirst + 1

static

Definition at line 107 of file scipParaParamSet.h.

TAG_SCIP_BASE_LAST

const int TAG_SCIP_BASE_LAST = TAG_SCIP_FIRST + 0

static

Definition at line 50 of file scipParaTagDef.h.

TAG_SCIP_FIRST

const int TAG_SCIP_FIRST = UG::TAG_BB_LAST + 1

static

Definition at line 46 of file scipParaTagDef.h.

Referenced by ScipParaCommMpi::getTagString().

TagInitialStat

const int TagInitialStat = TAG_SCIP_FIRST + 0

static

Definition at line 48 of file scipParaTagDef.h.

Referenced by ScipParaInitialStatTh::receive(), ScipParaInitialStatMpi::receive(), ScipParaLoadCoordinator::ScipParaLoadCoordinator(), ScipParaInitialStatTh::send(), and ScipParaInitialStatMpi::send().

tagStringTable

const char* tagStringTable[]

staticprotected

Initial value:

{

   std::mutex                 interruptMsgMonitorLockMutex

mutex for interrupt message monitor

tag name string table

Definition at line 66 of file scipParaCommTh.h.