37 #ifndef __SCIP_PARA_COMM_TH_H__ 38 #define __SCIP_PARA_COMM_TH_H__ 46 #include "scip/scip.h" 68 std::mutex interruptMsgMonitorLockMutex;
99 interruptMsgMonitorLockMutex.lock();
108 interruptMsgMonitorLockMutex.unlock();
129 SCIP_VAR **newBranchVars,
130 SCIP_Real *newBranchBounds,
131 SCIP_BOUNDTYPE *newBoundTypes,
133 SCIP_CONS **addedConss
139 int inNVarBranchStatsDown,
140 int inNVarBranchStatsUp,
141 int *inIdxLBranchStatsVarsDown,
142 int *inNVarBranchingDown,
143 int *inIdxLBranchStatsVarsUp,
144 int *inNVarBranchingUp,
145 SCIP_Real *inDownpscost,
146 SCIP_Real *inDownvsids,
147 SCIP_Real *inDownconflen,
148 SCIP_Real *inDowninfer,
149 SCIP_Real *inDowncutoff,
150 SCIP_Real *inUppscost,
151 SCIP_Real *inUpvsids,
152 SCIP_Real *inUpconflen,
153 SCIP_Real *inUpinfer,
154 SCIP_Real *inUpcutoff
157 int inTerminationCriteria,
160 int inScipRacingParamSeed,
161 int inPermuteProbSeed,
162 int inGenerateBranchOrderSeed,
169 #define DEF_SCIP_PARA_COMM( scip_para_comm, comm ) ScipParaCommTh *scip_para_comm = dynamic_cast< ScipParaCommTh* >(comm) 172 #endif // __SCIP_PARA_COMM_TH_H__
static const char * tagStringTable[]
mutex for interrupt message monitor
UG::ParaParamSet * createParaParamSet()
Communicator object for C++11 thread communications.
Communicator object for pthreads thread communications.
ScipParaDiffSubproblem * createScipParaDiffSubproblem(SCIP *scip, ScipParaSolver *scipParaSolver, int nNewBranchVars, SCIP_VAR **newBranchVars, SCIP_Real *newBranchBounds, SCIP_BOUNDTYPE *newBoundTypes, int nAddedConss, SCIP_CONS **addedConss)
ScipParaSolution extension for threads communication.
void unlockInterruptMsg()
unlock interrupt message monitor to synchronize with the monitor thread
ScipParaSolution * createScipParaSolution(ScipParaSolver *solver, SCIP_Real objval, int inNvars, SCIP_VAR **vars, SCIP_Real *vals)
const char * getTagString(int tag)
get Tag string for debugging
UG::ParaInstance * createParaInstance()
ScipParaDiffSubproblem extension for threads communication.
UG::ParaDiffSubproblem * createParaDiffSubproblem()
UG::ParaSolution * createParaSolution()
static const int BB_USER_TYPE_LAST
ScipParaInitialStat * createScipParaInitialStat(SCIP *scip)
UG::ParaRacingRampUpParamSet * createParaRacingRampUpParamSet()
ScipParaInitialStat extension for threads communication.
void lockInterruptMsg()
lock interrupt message monitor to synchronize with the monitor thread
UG::ParaInitialStat * createParaInitialStat()
Class for the difference between instance and subproblem.
ScipParaRacingRampUpParamSet extension for threads communication.
ScipParaInstance extension for threads communication.
class for initial statistics collecting after racing
bool tagStringTableIsSetUpCoorectly()
check if tag string table (for debugging) set up correctly
ScipParaRacingRampUpParamSet * createScipParaRacingRampUpParamSet(int inTerminationCriteria, int inNNodesLeft, double inTimeLimit, int inScipRacingParamSeed, int inPermuteProbSeed, int inGenerateBranchOrderSeed, ScipDiffParamSet *inScipDiffParamSet)
ScipParaInstance * createScipParaInstance(SCIP *scip, int method)
static const int SCIP_USER_TYPE_FIRST
scip defined transfer data types
ScipDiffParamSet * createScipDiffParamSet()
static const int ParaInitialStatType
class ParaRacingRampUpParamSet (parameter set for racing ramp-up)