UG
Ubiquity Generator framework
Ubiquity Generator framework
SCIP ParaComm extension for threads communication. More...
#include "ug_bb/bbParaComm.h"#include "scipParaTagDef.h"#include "scipParaInstanceTh.h"#include "scipParaSolutionTh.h"#include "scipParaDiffSubproblemTh.h"#include "scipParaInitialStatTh.h"#include "scipParaRacingRampUpParamSetTh.h"#include "scip/scip.h"Go to the source code of this file.
Namespaces | |
| ParaSCIP | |
Macros | |
| #define | DEF_SCIP_PARA_COMM(scip_para_comm, comm) ScipParaCommTh *scip_para_comm = dynamic_cast< ScipParaCommTh* >(comm) |
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) |
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... | |
SCIP ParaComm extension for threads communication.
Definition in file scipParaCommTh.h.
| #define DEF_SCIP_PARA_COMM | ( | scip_para_comm, | |
| comm | |||
| ) | ScipParaCommTh *scip_para_comm = dynamic_cast< ScipParaCommTh* >(comm) |
Definition at line 169 of file scipParaCommTh.h.