Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

commonly used methods for strings

Functions

int SCIPmemccpy (char *dest, const char *src, char stop, unsigned int cnt)
 
void SCIPprintSysError (const char *message)
 
char * SCIPstrtok (char *s, const char *delim, char **ptrptr)
 
void SCIPescapeString (char *t, int bufsize, const char *s)
 
SCIP_RETCODE SCIPskipSpace (char **s)
 
int SCIPsnprintf (char *t, int len, const char *s,...)
 
int SCIPstrncpy (char *t, const char *s, int size)
 
SCIP_Bool SCIPstrToIntValue (const char *str, int *value, char **endptr)
 
SCIP_Bool SCIPstrToRealValue (const char *str, SCIP_Real *value, char **endptr)
 
void SCIPstrCopySection (const char *str, char startchar, char endchar, char *token, int size, char **endptr)
 
SCIP_Bool SCIPstrAtStart (const char *s, const char *t, size_t tlen)
 

Function Documentation

◆ SCIPmemccpy()

int SCIPmemccpy ( char *  dest,
const char *  src,
char  stop,
unsigned int  cnt 
)

copies characters from 'src' to 'dest', copying is stopped when either the 'stop' character is reached or after 'cnt' characters have been copied, whichever comes first.

Note
undefined behaviuor on overlapping arrays

copies characters from 'src' to 'dest', copying is stopped when either the 'stop' character is reached or after 'cnt' characters have been copied, whichever comes first.

Note
undefined behavior on overlapping arrays
Parameters
destdestination pointer to copy to
srcsource pointer to copy from
stopcharacter when found stop copying
cntmaximal number of characters to copy

Definition at line 10744 of file misc.c.

References NULL.

Referenced by mpsinputSetObjname(), mpsinputSetProbname(), readBounds(), readCoefficients(), readCols(), readRanges(), readRhs(), readSOS(), readSos(), stoinputSetProbname(), stoinputSetStochtype(), and timinputSetProbname().

◆ SCIPprintSysError()

void SCIPprintSysError ( const char *  message)

prints an error message containing of the given string followed by a string describing the current system error; prefers to use the strerror_r method, which is threadsafe; on systems where this method does not exist, NO_STRERROR_R should be defined (see INSTALL), in this case, srerror is used which is not guaranteed to be threadsafe (on SUN-systems, it actually is)

prints an error message containing of the given string followed by a string describing the current system error

Prefers to use the strerror_r method, which is threadsafe. On systems where this method does not exist, NO_STRERROR_R should be defined (see INSTALL). In this case, strerror is used which is not guaranteed to be threadsafe (on SUN-systems, it actually is).

Parameters
messagefirst part of the error message, e.g. the filename

Definition at line 10769 of file misc.c.

References NULL, SCIP_MAXSTRLEN, and SCIPmessagePrintError().

Referenced by LOPreadFile(), processArguments(), readBounds(), readDecomposition(), readDiffFile(), readFZNFile(), readLIBSVM(), readLPFile(), readMps(), readOPBFile(), readPIPFile(), readSol(), readSolFile(), readSto(), readTim(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_READERREAD(), SCIPlpWriteMip(), SCIPparamsetRead(), SCIPparamsetWrite(), SCIPparamWrite(), SCIPprocessShellArguments(), SCIPvisualInit(), SCIPvisualizeConsCumulative(), and writeProblem().

◆ SCIPstrtok()

char* SCIPstrtok ( char *  s,
const char *  delim,
char **  ptrptr 
)

extracts tokens from strings - wrapper method for strtok_r()

Parameters
sstring to parse
delimdelimiters for parsing
ptrptrpointer to working char pointer - must stay the same while parsing

Definition at line 10818 of file misc.c.

Referenced by findBestObjectiveValue(), getNJobs(), getNResources(), getResourcesNames(), mpsinputReadLine(), parseConstraint(), readCnf(), SCIP_DECL_CONSPARSE(), smpsinputReadLine(), stoinputReadLine(), and timinputReadLine().

◆ SCIPescapeString()

void SCIPescapeString ( char *  t,
int  bufsize,
const char *  s 
)

translates the given string into a string where symbols ", ', and spaces are escaped with a \ prefix

translates the given string into a string where unescaped symbols ", ', and spaces are escaped with a \ prefix

Parameters
ttarget buffer to store escaped string
bufsizesize of buffer t
sstring to transform into escaped string

Definition at line 10832 of file misc.c.

References NULL.

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPdialoghdlrAddHistory().

◆ SCIPskipSpace()

SCIP_RETCODE SCIPskipSpace ( char **  s)

increases string pointer as long as it refers to a space character or an explicit space control sequence

Parameters
spointer to string pointer

Definition at line 10866 of file misc.c.

References SCIP_OKAY, and SCIP_SPACECONTROL.

Referenced by getFixedVariable(), getObjective(), getStatistics(), parseBase(), parseExpr(), parseFactor(), parseTerm(), SCIP_DECL_CONSPARSE(), SCIPconsParse(), SCIPparseReal(), SCIPparseVarsList(), and SCIPparseVarsPolynomial().

◆ SCIPsnprintf()

int SCIPsnprintf ( char *  t,
int  len,
const char *  s,
  ... 
)

safe version of snprintf

Parameters
ttarget string
lenlength of the string to copy
ssource string

Definition at line 10877 of file misc.c.

References NULL, and SCIPerrorMessage.

Referenced by ObjPricerVRP::add_tour_variable(), addAuxiliaryVariablesToMaster(), addBranchingComplementaritiesSOS1(), addCliques(), addCut(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixParamDialog(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addLocalConss(), addNlrow(), addOrbitopesDynamic(), addOrbitopeSubgroup(), addPathCuts(), addRegularScholtes(), addRelaxation(), addScenarioVarsAndConsToProb(), addSetParamDialog(), addSlackVars(), addSplitcons(), addSSTConssOrbitAndUpdateSST(), addStrongSBCsSubgroup(), addSubtourCuts(), addSymresackConss(), addSymresackInequality(), addTourCuts(), addTrustRegionConstraints(), addVarCardinality(), addVariable(), addWeakSBCsSubgroup(), adjustOversizedJobBounds(), aggregation(), alnsIncludeNeighborhood(), appendVarCardinality(), applyCliqueFixings(), applyFixings(), applyRepair(), assignAuxiliaryVariables(), BENDERS_CUTORACLE(), blockCreateSubscip(), branchBalancedCardinality(), btPrintSubtree(), buildScenariosFromBlocks(), checkConsnames(), checkVarnames(), cliquePresolve(), COLORprobSetUpArrayOfCons(), componentCreateSubscip(), componentPackingPartitioningOrbisackUpgrade(), computeAutomorphisms(), computeCut(), computeEffectiveHorizon(), computeMinDistance(), computeRltCut(), consdataCollectLinkingCons(), consdataCreateBinvars(), conshdlrsCanProvideSymInformation(), constructCutRow(), copyCuts(), createAndAddAndCons(), createAndAddLinearCons(), createAndAddProofcons(), createAndAddTransferredCut(), createAndApplyStoredBendersCut(), createAuxVar(), createBlockproblem(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createCipFormulation(), createConflict(), createConstraints(), createCoverCutsTimepoint(), createCoveringProblem(), createDisaggrRow(), createDisaggrVars(), createIndicatorConstraint(), createInitialColumns(), createIntervalRelaxation(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTComplementarityLinear(), createKKTDualCons(), createMasterproblem(), createMIP(), createMipCpFormulation(), createMipFormulation(), createOriginalproblem(), createPartitionCut(), createPatternVars(), createProbOnlyEdge(), createProbQP(), createProbSimplified(), createProbSimplifiedTest(), createRelaxation(), createRows(), createScenariosFromBlocks(), createSubproblem(), createSubproblems(), createSubSCIP(), createSubscip(), createVariableMappings(), createVariables(), createVarUbs(), deleteRedundantVars(), detectAndHandleSubgroups(), detectRedundantVars(), displayRelevantStats(), doBendersCreate(), doBenderscutCreate(), doBranchruleCreate(), doComprCreate(), doConcsolverTypeCreate(), doConflicthdlrCreate(), doConshdlrCreate(), doCopy(), doCutselCreate(), doDispCreate(), doHeurCreate(), doNodeselCreate(), doPresolCreate(), doPricerCreate(), doPropCreate(), doRelaxCreate(), doScipCreate(), doSepaCreate(), doTableCreate(), dualPresolve(), AMPLProblemHandler::EndInput(), estimateBivariateQuotient(), estimateUnivariateQuotient(), execmain(), executeLNSHeuristic(), extendToCover(), extensionOperatorSOS1(), extractGates(), findAggregation(), findBestObjectiveValue(), findCumulativeConss(), findScenarioVar(), fixDeleteOrUpgradeCons(), flattenAssignment(), flattenFloat(), forbidCover(), forbidFixation(), fromAmpl(), generateAndApplyBendersCuts(), generateAndApplyBendersIntegerCuts(), generateAndApplyBendersNogoodCut(), generateBoundInequalityFromSOS1Nodes(), generateCut(), generateCutSolDisagg(), generateCutSolSOC(), generateDisjCutSOS1(), generateOddCycleCut(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getBinaryProductExprDo(), getFixedVariable(), getJobs(), getScenarioDecompVar(), getScenarioEntityName(), handleDoublelLexMatrix(), handleOrbitope(), includeConshdlrCountsols(), infinityCountUpdate(), initLP(), initProblem(), LOPseparate(), lpBarrier(), lpDualSimplex(), lpPrimalSimplex(), newsolCliqueAddRow(), nodepartitionIsConnected(), AMPLProblemHandler::OnHeader(), paramsetSetHeuristicsAggressive(), paramsetSetHeuristicsDefault(), paramsetSetHeuristicsFast(), paramsetSetHeuristicsOff(), paramsetSetPresolvingAggressive(), paramsetSetPresolvingDefault(), paramsetSetPresolvingFast(), paramsetSetPresolvingOff(), paramsetSetSeparatingAggressive(), paramsetSetSeparatingDefault(), paramsetSetSeparatingOff(), parseConstantArray(), parseConstraint(), parseName(), parseVariableArray(), performImplicationGraphAnalysis(), preprocessConstraintPairs(), presolveAddKKTLinearCons(), presolveSingleLockedVars(), printActiveVariables(), printAggregatedCons(), printAndCons(), printBoundSection(), printConformName(), printEntry(), printIndicatorCons(), printLinearCons(), printLinearRow(), printName(), printNLRow(), printNonlinearRow(), printPBRow(), printRecord(), printReport(), printRow(), printRowNl(), printRowType(), printSignomial(), printSOSCons(), printSosCons(), printStart(), processArguments(), processNlRow(), propIndicator(), readArguments(), readBlocks(), readBounds(), readCnf(), readCnfLine(), readConstraints(), readIndep(), readIndicators(), readLIBSVM(), readScenarios(), readSemicontinuous(), readSol(), readSolFile(), readSOS(), readSos(), readSOScons(), readVariables(), real2String(), reformulateFactorizedBinaryQuadratic(), resolvePropagation(), schedulerIncludeNeighborhood(), SCIP_DECL_BENDERSCUTEXEC(), SCIP_DECL_CONCSOLVERCREATEINST(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGDESC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPbendersApplyDecomposition(), SCIPbendersMergeSubproblemIntoMaster(), SCIPconcsolverCreateInstance(), SCIPcopyLargeNeighborhoodSearch(), SCIPcreateConsCardinality(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateSchedulingProblem(), SCIPdecompPrintStats(), SCIPdialogDisplayMenuEntry(), SCIPdialogGetPath(), SCIPdialoghdlrAddHistory(), SCIPdialoghdlrCreate(), SCIPdialoghdlrGetLine(), SCIPdialoghdlrGetWord(), SCIPdigraphPrintGml(), SCIPdispLongint(), SCIPdispTime(), SCIPdivesetCreate(), SCIPException::SCIPException(), SCIPgetErrorString(), SCIPgetNlpiOracleIpopt(), SCIPgetVarCopy(), SCIPincludeBenderscutInt(), SCIPincludeBenderscutNogood(), SCIPincludeBenderscutOpt(), SCIPincludeConsUpgradeNonlinear(), SCIPincludeLinconsUpgrade(), SCIPincludeNlpi(), SCIPincludeNlpSolverWorhp(), SCIPincludeReaderZpl(), SCIPlpiReadLP(), SCIPlpiWriteLP(), SCIPlpWriteMip(), SCIPnlhdlrCreate(), SCIPnlpiOraclePrintProblemGams(), SCIPnodePrintAncestorBranchings(), SCIPparamsetSetEmphasis(), SCIPparamsetSetToSubscipsOff(), SCIPprintConflictStatistics(), SCIPprintReal(), SCIPprintSolutionStatistics(), SCIPprobdataCreate(), SCIPprobTransform(), SCIPreaderWrite(), SCIPregForestFromFile(), SCIPreoptApplyCuts(), SCIPreoptApplyGlbConss(), SCIPsetConshdlrPresol(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetPropPresol(), SCIPsnprintfProbingStats(), SCIPtransformMinUC(), SCIPvarNegate(), SCIPvarTransform(), SCIPverifyCircularPatternNLP(), SCIPvisualizeConsCumulative(), SCIPwriteCliqueGraph(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), separateCons(), separateCuts(), separateGLS(), separateIndicators(), separateMcCormickImplicit(), separatePerspective(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setObjective(), setupAndSolveCumulativeSubscip(), setupAndSolveFiniteSolSubscip(), setupProblem(), setupSubscipLpface(), solveClassification(), solveMinIISC(), solvePricingMINLP(), strengthenVarbounds(), subscipSetParams(), SYMsymmetryGetName(), syntaxError(), tightenCoefs(), tightenSingleVar(), tightenWeights(), toString(), tryAggregateIntVars(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeCons(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varSetName(), visualizeSolutionAscii(), writeFzn(), writeOpb(), writeOpbFixedVars(), writeOpbObjective(), and writeOpbRelevantAnds().

◆ SCIPstrncpy()

int SCIPstrncpy ( char *  t,
const char *  s,
int  size 
)

safe version of strncpy

Copies string in s to t using at most size-1 nonzero characters (strncpy copies size characters). It always adds a terminating zero char. Does not pad the remaining string with zero characters (unlike strncpy). Returns the number of copied nonzero characters, if the length of s is at most size - 1, and returns size otherwise. Thus, the original string was truncated if the return value is size.

Parameters
ttarget string
ssource string
sizemaximal size of t

Definition at line 10919 of file misc.c.

Referenced by appendBuffer(), readInputLine(), readPolynomial(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_READERREAD(), SCIPdialogGetPath(), SCIPdialoghdlrAddHistory(), and xmlProcess().

◆ SCIPstrToIntValue()

SCIP_Bool SCIPstrToIntValue ( const char *  str,
int *  value,
char **  endptr 
)

extract the next token as a integer value if it is one; in case no value is parsed the endptr is set to str

Returns
Returns TRUE if a value could be extracted, otherwise FALSE
Parameters
strstring to search
valuepointer to store the parsed value
endptrpointer to store the final string position if successfully parsed, otherwise str

Definition at line 10946 of file misc.c.

References FALSE, NULL, SCIPdebugMessage, and TRUE.

Referenced by getJobId(), getJobs(), getPrecedence(), getToken(), parseDetails(), readFile(), SCIP_DECL_CONSPARSE(), SCIP_DECL_DIALOGEXEC(), and SCIP_DECL_READERREAD().

◆ SCIPstrToRealValue()

SCIP_Bool SCIPstrToRealValue ( const char *  str,
SCIP_Real value,
char **  endptr 
)

extract the next token as a double value if it is one; in case a value is parsed the endptr is set to str

Returns
Returns TRUE if a value could be extracted, otherwise FALSE

extract the next token as a double value if it is one; in case no value is parsed the endptr is set to str

Returns
Returns TRUE if a value could be extracted, otherwise FALSE
Parameters
strstring to search
valuepointer to store the parsed value
endptrpointer to store the final string position if successfully parsed, otherwise str

Definition at line 10977 of file misc.c.

References FALSE, NULL, SCIPdebugMessage, and TRUE.

Referenced by getFixedVariable(), getNJobs(), getNResources(), getObjective(), getResourcesCapacities(), getToken(), parseBase(), parseExpr(), parseFactor(), parseValue(), SCIP_DECL_CONSPARSE(), SCIPparseReal(), SCIPparseVarsPolynomial(), SCIPregForestFromFile(), and varParse().

◆ SCIPstrCopySection()

void SCIPstrCopySection ( const char *  str,
char  startchar,
char  endchar,
char *  token,
int  size,
char **  endptr 
)

copies the first size characters between a start and end character of str into token, if no error occurred endptr will point to the position after the read part, otherwise it will point to str

Parameters
strstring to search
startcharcharacter which defines the beginning
endcharcharacter which defines the ending
tokenstring to store the copy
sizesize of the token char array
endptrpointer to store the final string position if successfully parsed, otherwise str

Definition at line 11007 of file misc.c.

References NULL, SCIP_MAXSTRLEN, and SCIPdebugMessage.

Referenced by parseBounds(), parseDetails(), SCIP_DECL_CONSPARSE(), SCIPconsParse(), SCIPparseVarName(), and varParse().

◆ SCIPstrAtStart()

SCIP_Bool SCIPstrAtStart ( const char *  s,
const char *  t,
size_t  tlen 
)

checks whether a given string t appears at the beginning of the string s (up to spaces at beginning)

Parameters
sstring to search in
tstring to search for
tlenlength of t

Definition at line 11386 of file misc.c.

References FALSE, NULL, SCIP_MAXSTRLEN, and TRUE.

Referenced by SCIP_DECL_READERREAD().