Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

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)
 
int SCIPsnprintf (char *t, int len, const char *s,...)
 
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)
 

Function Documentation

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
Parameters
destdestination pointer to copy to
srcsource pointer to copy to
stopcharacter when found stop copying
cntmaximal number of characters to copy too

Definition at line 7482 of file misc.c.

References NULL.

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

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 7506 of file misc.c.

References SCIP_MAXSTRLEN, and SCIPmessagePrintError().

Referenced by readBounds(), readFZNFile(), readLPFile(), readMps(), readOPBFile(), readPIPFile(), readSol(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_READERREAD(), SCIPlpWriteMip(), SCIPparamsetRead(), SCIPparamsetWrite(), SCIPprocessShellArguments(), SCIPvbcInit(), SCIPvisualizeConsCumulative(), SCIPwriteImplicationConflictGraph(), and writeProblem().

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 7528 of file misc.c.

Referenced by mpsinputReadLine(), parseConstraint(), readCnf(), and SCIP_DECL_CONSPARSE().

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

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

Definition at line 7542 of file misc.c.

References NULL.

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPdialoghdlrAddHistory().

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 7570 of file misc.c.

References NULL, and SCIPerrorMessage.

Referenced by addCliques(), addCut(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addExtraCliques(), addFixParamDialog(), addLocalBranchingConstraint(), addObjCutoff(), addRelaxation(), addSetParamDialog(), addVarbound(), adjustOversizedJobBounds(), applyFixings(), btPrintSubtree(), checkConsnames(), checkVarnames(), cliquePresolve(), computeEffectiveHorizon(), computeMinDistance(), consdataCollectLinkingCons(), consdataCreateBinvars(), convertLongEquality(), copyAndSolveComponent(), copyCuts(), createAndAddAndCons(), createAndAddLinearCons(), createCapacityRestriction(), createCapacityRestrictionIntvars(), createCGCutCMIR(), createCGCutDirect(), createCGCutStrongCG(), createConflict(), createCoverCutsTimepoint(), createCoveringProblem(), createRelaxation(), createRows(), createSubSCIP(), createSubscip(), createVarUbs(), createZerohalfCutFromZerohalfWeightvector(), deleteRedundantVars(), detectRedundantVars(), displayRelevantStats(), dualPresolve(), extractGates(), findAggregation(), findCumulativeConss(), fixDeleteOrUpgradeCons(), flattenAssignment(), flattenFloat(), forbidCover(), forbidFixation(), generateConvexConcaveEstimator(), generateCut(), generateCutConvex(), generateCutFactorableDo(), generateCutLTI(), generateCutNonConvex(), generateCutPoint(), generateCutProjectedPoint(), generateCutSol(), generateLinearizationCut(), generateOddCycleCut(), generateRowSOS1(), generateRowSOS2(), generateSecantCut(), getFixedVariable(), includeConshdlrCountsols(), lpBarrier(), lpDualSimplex(), lpPrimalSimplex(), newsolCliqueAddRow(), paramsetSetHeuristicsAggressive(), paramsetSetHeuristicsDefault(), paramsetSetHeuristicsOff(), paramsetSetPresolvingAggressive(), paramsetSetPresolvingDefault(), paramsetSetPresolvingFast(), paramsetSetPresolvingOff(), paramsetSetSeparatingAggressive(), paramsetSetSeparatingDefault(), paramsetSetSeparatingOff(), parseConstantArray(), parseConstraint(), parseName(), parseVariableArray(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCreateOuterApprox(), presolveDisaggregate(), presolveFindDuplicates(), presolveTryAddAND(), presolveTryAddLinearReform(), printActiveVariables(), printAggregatedCons(), printAndCons(), printBoundSection(), printConformName(), printEntry(), printExpr(), printIndicatorCons(), printLinearCons(), printLinearRow(), printNLRow(), printNonlinearRow(), printPBRow(), printQuadraticRow(), printRecord(), printRow(), printRowNl(), printRowType(), printSignpowerRow(), printSOCCons(), printSolutionStatistics(), printSOSCons(), printSosCons(), printStart(), processNlRow(), propIndicator(), readBounds(), readCnf(), readCnfLine(), readConstraints(), readIndicators(), readSemicontinuous(), readSOS(), readSos(), readSOScons(), readVariables(), reformMonomial(), reformNode2Var(), reformulate(), resolvePropagation(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGDESC(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SOLVECUMULATIVE(), SCIPbranchruleCreate(), SCIPconflicthdlrCreate(), SCIPconshdlrCreate(), SCIPcopy(), SCIPcopyOrig(), SCIPcreateConsIndicator(), SCIPcreateFiniteSolCopy(), SCIPdialogDisplayMenuEntry(), SCIPdialogGetPath(), SCIPdialoghdlrAddHistory(), SCIPdialoghdlrCreate(), SCIPdialoghdlrGetWord(), SCIPdigraphPrintGml(), SCIPdispCreate(), SCIPdispLongint(), SCIPdispTime(), SCIPgetVarCopy(), SCIPheurCreate(), SCIPincludeLinconsUpgrade(), SCIPincludeNlpi(), SCIPincludeNonlinconsUpgrade(), SCIPincludeQuadconsUpgrade(), SCIPincludeReaderZpl(), SCIPlpWriteMip(), SCIPnodePrintAncestorBranchings(), SCIPnodeselCreate(), SCIPparamsetSetToSubscipsOff(), SCIPpresolCreate(), SCIPpricerCreate(), SCIPprintReal(), SCIPprobTransform(), SCIPpropCreate(), SCIPreaderWrite(), SCIPrelaxCreate(), SCIPsepaCreate(), SCIPsetConshdlrPresol(), SCIPsetConshdlrProp(), SCIPsetConshdlrSepa(), SCIPsetPropPresol(), SCIPtransformMinUC(), SCIPvarNegate(), SCIPvarTransform(), SCIPvisualizeConsCumulative(), SCIPwriteCliqueGraph(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), separateCons(), separateGLS(), separateIndicators(), separateSCIs(), separateSequLiftedExtendedWeightInequality(), separateSequLiftedMinimalCoverInequality(), separateSupLiftedMinimalCoverInequality(), setObjective(), setupSubproblem(), strengthVarbaounds(), syntaxError(), tightenWeights(), toString(), tryAggregateIntVars(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), upgradeIndicatorSuperindicator(), upgradeLinearSuperindicator(), varSetName(), writeFzn(), writeOpb(), writeOpbObjective(), and writeOpbRelevantAnds().

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 7610 of file misc.c.

References FALSE, NULL, SCIPdebugMessage, and TRUE.

Referenced by SCIP_DECL_DIALOGEXEC().

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 7641 of file misc.c.

References FALSE, NULL, SCIPdebugMessage, and TRUE.

Referenced by exprParse(), getFixedVariable(), getObjective(), parseValue(), SCIP_DECL_CONSPARSE(), SCIPparseVarsPolynomial(), and varParse().

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 occured 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 7671 of file misc.c.

References NULL, SCIP_MAXSTRLEN, and SCIPdebugMessage.

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