Detailed Description

wrapper for rational number arithmetic

Macros
#define	SCIPrationalDebugMessage while ( FALSE ) SCIPrationalPrintf

Functions
SCIP_RETCODE	SCIPrationalCreate (SCIP_RATIONAL **rational)
SCIP_RETCODE	SCIPrationalCreateBuffer (BMS_BUFMEM bufmem, SCIP_RATIONAL *rational)
SCIP_RETCODE	SCIPrationalCreateBlock (BMS_BLKMEM blkmem, SCIP_RATIONAL *rational)
SCIP_RETCODE	SCIPrationalCopy (SCIP_RATIONAL *result, SCIP_RATIONAL src)
SCIP_RETCODE	SCIPrationalCopyBlock (BMS_BLKMEM mem, SCIP_RATIONAL result, SCIP_RATIONAL src)
SCIP_RETCODE	SCIPrationalCopyBuffer (BMS_BUFMEM bufmem, SCIP_RATIONAL result, SCIP_RATIONAL src)
SCIP_RETCODE	SCIPrationalCreateArray (SCIP_RATIONAL ***rational, int size)
SCIP_RETCODE	SCIPrationalCreateBlockArray (BMS_BLKMEM mem, SCIP_RATIONAL **rational, int size)
SCIP_RETCODE	SCIPrationalCreateBufferArray (BMS_BUFMEM mem, SCIP_RATIONAL **rational, int size)
SCIP_RETCODE	SCIPrationalCopyArray (SCIP_RATIONAL *target, SCIP_RATIONAL src, int len)
SCIP_RETCODE	SCIPrationalCopyBlockArray (BMS_BLKMEM mem, SCIP_RATIONAL target, SCIP_RATIONAL src, int len)
SCIP_RETCODE	SCIPrationalCopyBufferArray (BMS_BUFMEM mem, SCIP_RATIONAL result, SCIP_RATIONAL src, int len)
SCIP_RETCODE	SCIPrationalReallocArray (SCIP_RATIONAL ***result, int oldlen, int newlen)
SCIP_RETCODE	SCIPrationalReallocBufferArray (BMS_BUFMEM mem, SCIP_RATIONAL **result, int oldlen, int newlen)
SCIP_RETCODE	SCIPrationalReallocBlockArray (BMS_BLKMEM mem, SCIP_RATIONAL **result, int oldlen, int newlen)
void	SCIPrationalFree (SCIP_RATIONAL **rational)
void	SCIPrationalFreeBlock (BMS_BLKMEM mem, SCIP_RATIONAL *rational)
void	SCIPrationalFreeBuffer (BMS_BUFMEM bufmem, SCIP_RATIONAL *rational)
void	SCIPrationalFreeArray (SCIP_RATIONAL ***ratarray, int size)
void	SCIPrationalFreeBlockArray (BMS_BLKMEM mem, SCIP_RATIONAL **ratblockarray, int size)
void	SCIPrationalFreeBufferArray (BMS_BUFMEM mem, SCIP_RATIONAL **ratbufarray, int size)
void	SCIPrationalSetRational (SCIP_RATIONAL res, SCIP_RATIONAL src)
void	SCIPrationalSetFraction (SCIP_RATIONAL *res, SCIP_Longint nom, SCIP_Longint denom)
void	SCIPrationalSetReal (SCIP_RATIONAL *res, SCIP_Real real)
void	SCIPrationalSetInfinity (SCIP_RATIONAL *res)
void	SCIPrationalSetNegInfinity (SCIP_RATIONAL *res)
SCIP_Bool	SCIPrationalIsString (const char *desc)
void	SCIPrationalSetString (SCIP_RATIONAL res, const char desc)
SCIP_RETCODE	SCIPrationalCreateString (BMS_BLKMEM mem, SCIP_RATIONAL rational, const char desc)
SCIP_Bool	SCIPstrToRationalValue (char desc, SCIP_RATIONAL value, char **endptr)
void	SCIPrationalResetFloatingPointRepresentable (SCIP_RATIONAL *rat)
void	SCIPrationalCanonicalize (SCIP_RATIONAL *rational)
void	SCIPrationalCheckInfByValue (SCIP_RATIONAL *rational)
void	SCIPrationalAdd (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_RATIONAL *op2)
void	SCIPrationalAddReal (SCIP_RATIONAL res, SCIP_RATIONAL rat, SCIP_Real real)
void	SCIPrationalDiff (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_RATIONAL *op2)
void	SCIPrationalDiffReal (SCIP_RATIONAL res, SCIP_RATIONAL rat, SCIP_Real real)
void	SCIPrationalRelDiff (SCIP_RATIONAL res, SCIP_RATIONAL val1, SCIP_RATIONAL *val2)
void	SCIPrationalMult (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_RATIONAL *op2)
void	SCIPrationalMultReal (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_Real op2)
void	SCIPrationalDiv (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_RATIONAL *op2)
void	SCIPrationalDivReal (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_Real op2)
void	SCIPrationalAddProd (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_RATIONAL *op2)
void	SCIPrationalAddProdReal (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_Real op2)
void	SCIPrationalDiffProd (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_RATIONAL *op2)
void	SCIPrationalDiffProdReal (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_Real op2)
void	SCIPrationalNegate (SCIP_RATIONAL res, SCIP_RATIONAL op)
void	SCIPrationalAbs (SCIP_RATIONAL res, SCIP_RATIONAL op)
void	SCIPrationalInvert (SCIP_RATIONAL res, SCIP_RATIONAL op)
void	SCIPrationalMin (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_RATIONAL *op2)
void	SCIPrationalMax (SCIP_RATIONAL res, SCIP_RATIONAL op1, SCIP_RATIONAL *op2)
SCIP_Bool	SCIPrationalIsEQ (SCIP_RATIONAL rat1, SCIP_RATIONAL rat2)
SCIP_Bool	SCIPrationalIsAbsEQ (SCIP_RATIONAL rat1, SCIP_RATIONAL rat2)
SCIP_Bool	SCIPrationalIsEQReal (SCIP_RATIONAL *rat, SCIP_Real real)
SCIP_Bool	SCIPrationalIsApproxEQReal (SCIP_SET set, SCIP_RATIONAL rat, SCIP_Real real, SCIP_ROUNDMODE_RAT roundmode)
SCIP_Bool	SCIPrationalIsGT (SCIP_RATIONAL rat1, SCIP_RATIONAL rat2)
SCIP_Bool	SCIPrationalIsLT (SCIP_RATIONAL rat1, SCIP_RATIONAL rat2)
SCIP_Bool	SCIPrationalIsGE (SCIP_RATIONAL rat1, SCIP_RATIONAL rat2)
SCIP_Bool	SCIPrationalIsLE (SCIP_RATIONAL rat1, SCIP_RATIONAL rat2)
SCIP_Bool	SCIPrationalIsAbsGT (SCIP_RATIONAL rat1, SCIP_RATIONAL rat2)
SCIP_Bool	SCIPrationalIsGTReal (SCIP_RATIONAL *rat, SCIP_Real real)
SCIP_Bool	SCIPrationalIsLTReal (SCIP_RATIONAL *rat, SCIP_Real real)
SCIP_Bool	SCIPrationalIsGEReal (SCIP_RATIONAL *rat, SCIP_Real real)
SCIP_Bool	SCIPrationalIsLEReal (SCIP_RATIONAL *rat, SCIP_Real real)
SCIP_Bool	SCIPrationalIsZero (SCIP_RATIONAL *rational)
SCIP_Bool	SCIPrationalIsPositive (SCIP_RATIONAL *rational)
SCIP_Bool	SCIPrationalIsNegative (SCIP_RATIONAL *rational)
SCIP_Bool	SCIPrationalIsInfinity (SCIP_RATIONAL *rational)
SCIP_Bool	SCIPrationalIsNegInfinity (SCIP_RATIONAL *rational)
SCIP_Bool	SCIPrationalIsAbsInfinity (SCIP_RATIONAL *rational)
SCIP_Bool	SCIPrationalIsIntegral (SCIP_RATIONAL *rational)
SCIP_Bool	SCIPrationalIsFpRepresentable (SCIP_RATIONAL *rational)
int	SCIPrationalToString (SCIP_RATIONAL rational, char str, int strlen)
int	SCIPrationalStrLen (SCIP_RATIONAL *rational)
void	SCIPrationalMessage (SCIP_MESSAGEHDLR msg, FILE file, SCIP_RATIONAL *rational)
void	SCIPrationalPrintVerbInfo (SCIP_MESSAGEHDLR msg, SCIP_VERBLEVEL verblevel, SCIP_VERBLEVEL msgverblevel, SCIP_RATIONAL rational)
void	SCIPrationalPrint (SCIP_RATIONAL *rational)
void	SCIPrationalPrintf (const char *formatstr,...)
void	SCIPrationalPrintDebugMessage (const char sourcefile, int sourceline, const char formatstr,...)
SCIP_Longint	SCIPrationalNumerator (SCIP_RATIONAL *rational)
SCIP_Longint	SCIPrationalDenominator (SCIP_RATIONAL *rational)
SCIP_Bool	SCIPrationalDenominatorIsLE (SCIP_RATIONAL *rational, SCIP_Longint val)
int	SCIPrationalGetSign (const SCIP_RATIONAL *rational)
void	SCIPrationalGetFrac (SCIP_RATIONAL res, SCIP_RATIONAL src)
SCIP_Real	SCIPrationalGetReal (SCIP_RATIONAL *rational)
SCIP_Real	SCIPrationalRoundReal (SCIP_RATIONAL *rational, SCIP_ROUNDMODE_RAT roundmode)
void	SCIPrationalRoundInteger (SCIP_RATIONAL res, SCIP_RATIONAL src, SCIP_ROUNDMODE_RAT roundmode)
SCIP_Bool	SCIPrationalRoundLong (SCIP_Longint res, SCIP_RATIONAL src, SCIP_ROUNDMODE_RAT roundmode)
void	SCIPrationalComputeApproximation (SCIP_RATIONAL res, SCIP_RATIONAL src, SCIP_Longint maxdenom, int forcegreater)
SCIP_RETCODE	SCIPrationalarrayCreate (SCIP_RATIONALARRAY *rationalarray, BMS_BLKMEM blkmem)
SCIP_RETCODE	SCIPrationalarrayResize (SCIP_RATIONALARRAY *rationalarray, int newsize)
SCIP_RETCODE	SCIPrationalarrayCopy (SCIP_RATIONALARRAY *rationalarray, BMS_BLKMEM blkmem, SCIP_RATIONALARRAY *sourcerationalarray)
SCIP_RETCODE	SCIPrationalarrayFree (SCIP_RATIONALARRAY *rationalarray, BMS_BLKMEM blkmem)
void	SCIPrationalarrayGetVal (SCIP_RATIONALARRAY rationalarray, int idx, SCIP_RATIONAL result)
SCIP_RETCODE	SCIPrationalarraySetVal (SCIP_RATIONALARRAY rationalarray, int idx, SCIP_RATIONAL val)
SCIP_RETCODE	SCIPrationalarrayIncVal (SCIP_RATIONALARRAY rationalarray, int idx, SCIP_RATIONAL incval)
SCIP_RETCODE	SCIPrationalarrayPrint (SCIP_RATIONALARRAY *rationalarray)
int	SCIPrationalarrayGetMinIdx (SCIP_RATIONALARRAY *rationalarray)
int	SCIPrationalarrayGetMaxIdx (SCIP_RATIONALARRAY *rationalarray)
void	SCIPrationalChgInfinity (SCIP_Real inf)
SCIP_Real	SCIPrationalGetInfinity (void)

Macro Definition Documentation

◆ SCIPrationalDebugMessage

#define SCIPrationalDebugMessage while ( FALSE ) SCIPrationalPrintf

rational extension for the SCIPdebugMsg

Definition at line 641 of file rational.h.

Referenced by applyBounding(), certificatePrintMirSplit(), checkCons(), colExactAddCoef(), colExactChgCoefPos(), colExactDelCoefPos(), consdataGetActivity(), getFixedVariable(), getObjective(), lpExactFlushAddRows(), lpExactFlushAndSolve(), parseValue(), primalSetCutoffboundExact(), primalSetUpperboundExact(), probScaleObjExact(), propagateCons(), readRhsExact(), rowExactAddCoef(), rowExactChgCoefPos(), rowExactDelCoefPos(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintMirCut(), SCIPcolExactChgLb(), SCIPcolExactChgObj(), SCIPcolExactChgUb(), SCIPinferVarLbConsExact(), SCIPinferVarUbConsExact(), SCIPlpExactAddCol(), SCIPlpExactAddRow(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIPlpExactSolveAndEval(), SCIPnodeAddBoundinferExact(), SCIPnodepqInsert(), SCIPprobAddObjoffsetExact(), SCIPrationalToString(), SCIPsolOverwriteFPSolWithExact(), SCIPvarAddObjExact(), SCIPvarAddToRowExact(), SCIPvarAdjustLbExact(), SCIPvarAdjustUbExact(), SCIPvarAggregateExact(), SCIPvarChgLbExactDive(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarChgLbOriginalExact(), SCIPvarChgObjExact(), SCIPvarChgUbExactDive(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarChgUbOriginalExact(), SCIPvarFixExact(), SCIPvarGetProbvarBoundExact(), SCIPvarMultiaggregateExact(), solCheckExact(), varEventGlbChangedExact(), varEventLbChangedExact(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), varProcessChgUbLocalExact(), and varUpdateAggregationBoundsExact().

Function Documentation

◆ SCIPrationalCreate()

SCIP_RETCODE SCIPrationalCreate ( SCIP_RATIONAL ** rational )

creates a rational using standard memory allocation

allocate and create a rational from nominator and denominator using ordinary memory

Parameters

rational pointer to the rational to create

Definition at line 94 of file rational.cpp.

References BMSallocMemory, FALSE, SCIP_ALLOC, SCIP_ISFPREPRESENTABLE_TRUE, and SCIP_OKAY.

Referenced by SCIP_DECL_SORTINDCOMP(), SCIPrationalCopy(), SCIPrationalCreateArray(), SCIPrationalReallocArray(), SCIPstatCreate(), SCIPvalidateSolveExact(), SCIPvarGetLPSolExact_rec(), and treeAddPendingBdchg().

◆ SCIPrationalCreateBuffer()

SCIP_RETCODE SCIPrationalCreateBuffer	(	BMS_BUFMEM *	bufmem,
		SCIP_RATIONAL **	rational )

creates a rational using buffer memory

allocate and create a rational from nominator and denominator using buffer memory

Parameters

bufmem	buffer memory
rational	pointer to the rational to create

Definition at line 123 of file rational.cpp.

References BMSallocBufferMemory, FALSE, SCIP_ISFPREPRESENTABLE_TRUE, and SCIP_OKAY.

◆ SCIPrationalCreateBlock()

SCIP_RETCODE SCIPrationalCreateBlock	(	BMS_BLKMEM *	blkmem,
		SCIP_RATIONAL **	rational )

creates a rational using block memory

allocate and create a rational from nominator and denominator using block memory

Parameters

blkmem	block memory
rational	pointer to the rational to create

Definition at line 108 of file rational.cpp.

References BMSallocBlockMemory, FALSE, SCIP_ALLOC, SCIP_ISFPREPRESENTABLE_TRUE, and SCIP_OKAY.

Referenced by colExactEnsureSize(), consdataCreate(), consdataEnsureVarsSize(), conshdlrdataCreate(), nodeCreate(), rowExactStoreSolVals(), SCIPcertificateInit(), SCIPcertificateNewMirInfo(), SCIPcertificateSetAndPrintObjective(), SCIPcolExactCreate(), SCIPlpExactCreate(), SCIPprobCreate(), SCIPprocessShellArguments(), SCIPrationalCopyBlock(), SCIPrationalCreateBlockArray(), SCIPrationalCreateString(), SCIPrationalReallocBlockArray(), SCIProwExactEnsureSize(), SCIPsolCreateExact(), SCIPsolCreateOriginalExact(), SCIPsolMakeExact(), SCIPtransformProb(), SCIPvarAddExactData(), SCIPvarAggregateExact(), SCIPvarParseOriginal(), and SCIPvarParseTransformed().

◆ SCIPrationalCopy()

SCIP_RETCODE SCIPrationalCopy	(	SCIP_RATIONAL **	result,
		SCIP_RATIONAL *	src )

creates a copy of a rational using ordinary memory

Parameters

result	pointer to the rational to create
src	rational to copy

Definition at line 138 of file rational.cpp.

References result, SCIP_CALL, SCIP_OKAY, SCIPrationalCreate(), and SCIPrationalSetRational().

Referenced by SCIPrationalCopyArray().

◆ SCIPrationalCopyBlock()

SCIP_RETCODE SCIPrationalCopyBlock	(	BMS_BLKMEM *	mem,
		SCIP_RATIONAL **	result,
		SCIP_RATIONAL *	src )

creates a copy of a rational using block memory

Parameters

mem	block memory
result	pointer to the rational to create
src	rational to copy

Definition at line 151 of file rational.cpp.

References result, SCIP_CALL, SCIP_OKAY, SCIPrationalCreateBlock(), and SCIPrationalSetRational().

Referenced by colExactAddCoef(), colExactStoreSolVals(), consdataCreate(), lpExactStoreSolVals(), rowExactAddCoef(), rowExactStoreSolVals(), SCIPaddCoefExactLinear(), SCIPcolExactCreate(), SCIPdomchgAddBoundchg(), SCIPeventAddExactBdChg(), SCIPeventAddExactObjChg(), SCIPrationalCopyBlockArray(), SCIProwExactCreate(), SCIPvalsExactCopy(), SCIPvarAddExactData(), SCIPvarCopyExactData(), and SCIPvarMultiaggregateExact().

◆ SCIPrationalCopyBuffer()

SCIP_RETCODE SCIPrationalCopyBuffer	(	BMS_BUFMEM *	bufmem,
		SCIP_RATIONAL **	result,
		SCIP_RATIONAL *	src )

creates a copy of a rational

creates a copy of a rational using buffer memory

Parameters

bufmem	buffer memory
result	pointer to the rational to create
src	rational to copy

Definition at line 165 of file rational.cpp.

References result, SCIP_CALL, SCIP_OKAY, SCIPrationalCreateBuffer(), and SCIPrationalSetRational().

Referenced by addConstraintExact(), and SCIPrationalCopyBufferArray().

◆ SCIPrationalCreateArray()

SCIP_RETCODE SCIPrationalCreateArray	(	SCIP_RATIONAL ***	rational,
		int	size )

creates an array of rationals using ordinary memory

create an array of rationals using ordinary memory

Parameters

rational	pointer to the array to create
size	the size of the array

Definition at line 179 of file rational.cpp.

References BMSallocMemoryArray, i, SCIP_CALL, SCIP_ISFPREPRESENTABLE_TRUE, SCIP_OKAY, and SCIPrationalCreate().

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPrationalCreateBlockArray()

SCIP_RETCODE SCIPrationalCreateBlockArray	(	BMS_BLKMEM *	mem,
		SCIP_RATIONAL ***	rational,
		int	size )

creates an array of rationals using block memory

create an array of rationals using block memory

Parameters

mem	block memory
rational	pointer to the array to create
size	the size of the array

Definition at line 196 of file rational.cpp.

References BMSallocBlockMemoryArray, i, SCIP_CALL, SCIP_ISFPREPRESENTABLE_TRUE, SCIP_OKAY, and SCIPrationalCreateBlock().

Referenced by readCoefficientsRational(), and SCIPcertificateInit().

◆ SCIPrationalCreateBufferArray()

SCIP_RETCODE SCIPrationalCreateBufferArray	(	BMS_BUFMEM *	mem,
		SCIP_RATIONAL ***	rational,
		int	size )

creates an array of rationals using buffer memory

create an array of rationals using buffer memory

Parameters

mem	block memory
rational	pointer to the arrat to create
size	the size of the array

Definition at line 214 of file rational.cpp.

References BMSallocBufferMemoryArray, i, SCIP_CALL, SCIP_ISFPREPRESENTABLE_TRUE, SCIP_OKAY, and SCIPrationalCreateBuffer().

Referenced by addConstraintExact(), certificatePrintSol(), consdataCreate(), createAndAddProofcons(), getFixedVariable(), lpExactFlushAddCols(), lpExactFlushAddRows(), lpExactFlushChgCols(), lpExactFlushChgRows(), printLinearConsExact(), probScaleObjExact(), readConstraints(), readOPBFile(), SCIP_DECL_CONSPARSE(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPcertificatePrintDualboundPseudo(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetPrimalRay(), SCIPlpExactGetSol(), SCIPmatrixCreate(), SCIPsolRetransformExact(), and SCIPvarGetActiveRepresentativesExact().

◆ SCIPrationalCopyArray()

SCIP_RETCODE SCIPrationalCopyArray	(	SCIP_RATIONAL ***	target,
		SCIP_RATIONAL **	src,
		int	len )

copies an array of rationals using ordinary memory

copy an array of rationals using ordinary memory

Parameters

target	address to copy to
src	src array
len	size of src array

Definition at line 232 of file rational.cpp.

References BMSduplicateMemoryArray, i, SCIP_CALL, SCIP_OKAY, and SCIPrationalCopy().

◆ SCIPrationalCopyBlockArray()

SCIP_RETCODE SCIPrationalCopyBlockArray	(	BMS_BLKMEM *	mem,
		SCIP_RATIONAL ***	target,
		SCIP_RATIONAL **	src,
		int	len )

copies an array of rationals using block memory

copy an array of rationals using block memory

Parameters

mem	block memory
target	address to copy to
src	src array
len	size of src array

Definition at line 249 of file rational.cpp.

References BMSduplicateBlockMemoryArray, i, SCIP_CALL, SCIP_OKAY, and SCIPrationalCopyBlock().

Referenced by consdataCreate(), SCIPcolExactCreate(), SCIProwExactCreate(), SCIPvarCopyExactData(), and SCIPvarMultiaggregateExact().

◆ SCIPrationalCopyBufferArray()

SCIP_RETCODE SCIPrationalCopyBufferArray	(	BMS_BUFMEM *	mem,
		SCIP_RATIONAL ***	result,
		SCIP_RATIONAL **	src,
		int	len )

copy an array of rationals using buffer memory

Parameters

mem	buffer memory
result	address to copy to
src	src array
len	size of src array

Definition at line 267 of file rational.cpp.

References BMSduplicateBufferMemoryArray, i, result, SCIP_CALL, SCIP_OKAY, and SCIPrationalCopyBuffer().

Referenced by addConstraintExact(), printLinearConsExact(), and SCIPvarGetActiveRepresentativesExact().

◆ SCIPrationalReallocArray()

SCIP_RETCODE SCIPrationalReallocArray	(	SCIP_RATIONAL ***	result,
		int	oldlen,
		int	newlen )

realloc a rational ordinary array

realloc a rational ordinary arrray

Parameters

result	address to copy to
oldlen	size of src array
newlen	size of src array

Definition at line 285 of file rational.cpp.

References BMSreallocMemoryArray, i, result, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPrationalCreate(), and SCIPrationalFree().

◆ SCIPrationalReallocBufferArray()

SCIP_RETCODE SCIPrationalReallocBufferArray	(	BMS_BUFMEM *	mem,
		SCIP_RATIONAL ***	result,
		int	oldlen,
		int	newlen )

realloc a rational buffer arrray

Parameters

mem	buffer memory
result	address to copy to
oldlen	size of src array
newlen	size of src array

Definition at line 314 of file rational.cpp.

References BMSreallocBufferMemoryArray, i, result, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPrationalCreateBuffer(), and SCIPrationalFreeBuffer().

Referenced by getActiveVariablesExact(), getActiveVariablesExact(), getFixedVariable(), SCIP_DECL_CONSPARSE(), and SCIPvarGetActiveRepresentativesExact().

◆ SCIPrationalReallocBlockArray()

SCIP_RETCODE SCIPrationalReallocBlockArray	(	BMS_BLKMEM *	mem,
		SCIP_RATIONAL ***	result,
		int	oldlen,
		int	newlen )

realloc a rational block arrray

Parameters

mem	block memory
result	address to copy to
oldlen	size of src array
newlen	size of src array

Definition at line 344 of file rational.cpp.

References BMSreallocBlockMemoryArray, i, result, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPrationalCreateBlock(), and SCIPrationalFreeBlock().

Referenced by readCoefficientsRational(), SCIPcertificatePrintDualboundExactLP(), SCIPparseVarsPolynomialExact(), SCIPvarFlattenAggregationGraph(), and SCIPvarMultiaggregateExact().

◆ SCIPrationalFree()

void SCIPrationalFree ( SCIP_RATIONAL ** rational )

deletes a rational and frees the allocated ordinary memory

delete a rational and free the allocated ordinary memory

Parameters

rational address of the rational

Definition at line 450 of file rational.cpp.

References assert(), and BMSfreeMemory.

Referenced by SCIP_DECL_SORTINDCOMP(), SCIPrationalFreeArray(), SCIPrationalReallocArray(), SCIPstatFree(), SCIPvalidateSolveExact(), and SCIPvarGetLPSolExact_rec().

◆ SCIPrationalFreeBlock()

void SCIPrationalFreeBlock	(	BMS_BLKMEM *	mem,
		SCIP_RATIONAL **	rational )

deletes a rational and frees the allocated block memory

delete a rational and free the allocated block memory

Parameters

mem	block memory
rational	address of the rational

Definition at line 461 of file rational.cpp.

References assert(), and BMSfreeBlockMemory.

Referenced by certificateFreeNodeData(), consdataFree(), conshdlrdataFree(), eventFreeExactData(), readSolFile(), readXmlSolFile(), SCIPcertificateClearMirinfo(), SCIPcertificateExit(), SCIPcertificateFreeMirInfo(), SCIPcolExactFree(), SCIPdomchgFree(), SCIPeventqueueAdd(), SCIPfreeCertificateActiveMirInfo(), SCIPlpExactFree(), SCIPlpExactProjectShiftFree(), SCIPnodeFree(), SCIPprimalFree(), SCIPprobFree(), SCIPprocessShellArguments(), SCIPrationalFreeBlockArray(), SCIPrationalReallocBlockArray(), SCIProwExactFree(), SCIPsolMakeReal(), SCIPvarParseOriginal(), SCIPvarParseTransformed(), valsExactFree(), and varFreeExactData().

◆ SCIPrationalFreeBuffer()

void SCIPrationalFreeBuffer	(	BMS_BUFMEM *	bufmem,
		SCIP_RATIONAL **	rational )

deletes a rational and frees the allocated buffer memory

delete a rational and free the allocated buffer memory

Parameters

bufmem	buffer memory
rational	address of the rational

Definition at line 473 of file rational.cpp.

References assert(), and BMSfreeBufferMemory.

◆ SCIPrationalFreeArray()

void SCIPrationalFreeArray	(	SCIP_RATIONAL ***	ratarray,
		int	size )

deletes an array of rationals and frees the allocated ordinary memory

Parameters

ratarray	pointer to the array
size	size of the array

Definition at line 485 of file rational.cpp.

References assert(), BMSfreeMemoryArrayNull, i, and SCIPrationalFree().

Referenced by SCIP_DECL_DIALOGEXEC().

◆ SCIPrationalFreeBlockArray()

void SCIPrationalFreeBlockArray	(	BMS_BLKMEM *	mem,
		SCIP_RATIONAL ***	ratblockarray,
		int	size )

deletes an array of rationals and frees the allocated block memory

Parameters

mem	block memory
ratblockarray	pointer to the array
size	size of the array

Definition at line 501 of file rational.cpp.

References assert(), BMSfreeBlockMemoryArrayNull, i, and SCIPrationalFreeBlock().

Referenced by consdataFree(), readConstraintsRational(), readObjectiveRational(), SCIPcertificateExit(), SCIPcolExactFree(), SCIPfreeParseVarsPolynomialDataExact(), SCIPlpExactProjectShiftFree(), SCIProwExactFree(), SCIPvarMultiaggregateExact(), and varFreeExactData().

◆ SCIPrationalFreeBufferArray()

void SCIPrationalFreeBufferArray	(	BMS_BUFMEM *	mem,
		SCIP_RATIONAL ***	ratbufarray,
		int	size )

deletes an array of rationals and frees the allocated buffer memory

Parameters

mem	buffer memory
ratbufarray	pointer to the array
size	size of the array

Definition at line 518 of file rational.cpp.

References assert(), BMSfreeBufferMemoryArrayNull, i, and SCIPrationalFreeBuffer().

Referenced by addConstraintExact(), certificatePrintSol(), consdataCreate(), createAndAddProofcons(), getFixedVariable(), lpExactFlushAddCols(), lpExactFlushAddRows(), lpExactFlushChgCols(), lpExactFlushChgRows(), printLinearConsExact(), probScaleObjExact(), readConstraints(), readOPBFile(), SCIP_DECL_CONSPARSE(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPcertificatePrintDualboundPseudo(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetPrimalRay(), SCIPlpExactGetSol(), SCIPmatrixCreate(), SCIPmatrixFree(), SCIPsolRetransformExact(), and SCIPvarGetActiveRepresentativesExact().

◆ SCIPrationalSetRational()

void SCIPrationalSetRational	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	src )

sets a rational to the value of another rational

set a rational to the value of another rational

Parameters

res	the result
src	the src

Definition at line 569 of file rational.cpp.

References assert(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, and SCIP_Rational::val.

◆ SCIPrationalSetFraction()

void SCIPrationalSetFraction	(	SCIP_RATIONAL *	res,
		SCIP_Longint	nom,
		SCIP_Longint	denom )

sets a rational to a nom/denom value

set a rational to a nom/denom value

Parameters

res	the result
nom	the nominator
denom	the denominator

Definition at line 582 of file rational.cpp.

References assert(), SCIP_Rational::isfprepresentable, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIP_Longint, SCIPrationalCheckInfByValue(), and SCIP_Rational::val.

Referenced by addConstraintExact(), consdataComputePseudoActivity(), consdataGetActivity(), SCIPcalcIntegralScalarExact(), SCIPcertificatePrintInheritedBound(), SCIPcertificatePrintUnsplitting(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPrationalarrayGetVal(), SCIPrationalComputeApproximation(), SCIPsolGetValExact(), SCIPsolRecomputeInternObjExact(), SCIPvalidateSolveExact(), SCIPvarGetLbLocalExactMaximal(), SCIPvarGetUbLocalExactMinimal(), and tryAggregateIntVarsExact().

◆ SCIPrationalSetReal()

void SCIPrationalSetReal	(	SCIP_RATIONAL *	res,
		SCIP_Real	real )

sets a rational to the value of another a real

set a rational to the value of another a real

Parameters

res	the result
real	real to set from

Definition at line 603 of file rational.cpp.

References assert(), SCIP_Rational::isfprepresentable, SCIP_ISFPREPRESENTABLE_TRUE, SCIP_Real, SCIPrationalCheckInfByValue(), SCIPrationalIsEQReal(), and SCIP_Rational::val.

Referenced by branchcandCalcLPCandsExact(), calcMIRSafely(), certificatePrintMirSplit(), certificatePrintRow(), checkIntegralityExact(), checkSolOrigExact(), colExactRestoreSolVals(), consdataCalcMinAbsvalEx(), consdataGetActivity(), consdataScaleMinValue(), createAndAddProofcons(), getFixedVariable(), getObjective(), getObjectiveRow(), getObjvalDeltaLbExact(), getObjvalDeltaObjExact(), getObjvalDeltaUbExact(), initPresolve(), initSolve(), markRowExactDeleted(), primalSetCutoffbound(), printActivityConflictToCertificate(), printLinearConsExact(), readBinaries(), readBoundsExact(), readBoundsRational(), readCoefficientsRational(), readConstraints(), readOPBFile(), readRowsExact(), rowExactCreateFromRowLimitEncodingLength(), rowExactRestoreSolVals(), SCIP_DECL_CONSCHECK(), SCIP_DECL_READERREAD(), SCIPaddOrigObjoffset(), SCIPbranchExecLPExact(), SCIPcertificatePrintAggrrow(), SCIPcertificatePrintDualboundPseudo(), SCIPcertificatePrintMirCut(), SCIPcertificateUpdateBranchingData(), SCIPcertifyActivityVarBound(), SCIPeventProcess(), SCIPgetDualboundExact(), SCIPgetFpDualfarkasExactLinear(), SCIPgetFpDualsolExactLinear(), SCIPlpExactDecNLoosevars(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIPlpExactReset(), SCIPnodeAddBoundinfer(), SCIPnodeUpdateLowerbound(), SCIPparseVarsPolynomialExact(), SCIPprimalUpdateObjoffsetExact(), SCIPprobCreate(), SCIPrationalAddReal(), SCIPrationalComputeApproximation(), SCIPrationalDivReal(), SCIPrationalGetFrac(), SCIPrationalMultReal(), SCIProwExactCreateFromRow(), SCIProwExactGetSolActivity(), SCIPsolClear(), SCIPsolGetValExact(), SCIPsolMakeExact(), SCIPsolRetransformExact(), SCIPvarAddExactData(), SCIPvarAggregateExact(), SCIPvarChgLbOriginalExact(), SCIPvarChgUbOriginalExact(), SCIPvarGetProbvarSumExact(), SCIPvarMultiaggregateExact(), setObjective(), solCheckExact(), solGetArrayValExact(), solOfInterest(), solsAreEqualExact(), tightenVarBounds(), tightenVarLbGlobalSafe(), tightenVarUbGlobalSafe(), updateLpExactBoundChange(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), and writeOpbConstraints().

◆ SCIPrationalSetInfinity()

void SCIPrationalSetInfinity ( SCIP_RATIONAL * res )

sets a rational to positive infinity

Parameters

res	the result

Definition at line 618 of file rational.cpp.

References assert(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_TRUE, TRUE, and SCIP_Rational::val.

Referenced by addRowExact(), adjustedLbExact(), adjustedUbExact(), applyFixings(), coefChangedExact(), consdataComputePseudoActivity(), consdataGetActivity(), consdataInvalidateActivities(), consdataUpdateAddCoef(), consdataUpdateChgCoef(), consdataUpdateDelCoef(), isValueRational(), lpExactFlushAndSolve(), lpExactRestoreSolVals(), lpExactSetIterationLimit(), lpExactSetObjlim(), markRowExactDeleted(), readBoundsExact(), readBoundsRational(), readConstraintsRational(), readRowsExact(), rowExactStoreSolVals(), RsetSpxR(), SCIP_DECL_CONSPARSE(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintResult(), SCIPcertificatePrintUnsplitting(), SCIPgetActivityExactLinear(), SCIPlpExactDelRowset(), SCIPlpExactGetDualfarkas(), SCIPlpExactSetCutoffbound(), SCIPnodeCutoff(), SCIPnodeFocus(), SCIPnodepqBound(), SCIPprimalUpdateObjoffsetExact(), SCIProwExactCreateFromRow(), SCIPsolGetValExact(), SCIPstrToRationalValue(), SCIPtransformProb(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetLPSolExact_rec(), SCIPvarGetMultaggrLbLocalExact(), SCIPvarGetProbvarSumExact(), tryAggregateIntVarsExact(), varParse(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalSetNegInfinity()

void SCIPrationalSetNegInfinity ( SCIP_RATIONAL * res )

sets a rational to negative infinity

Parameters

res	the result

Definition at line 630 of file rational.cpp.

References assert(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_TRUE, TRUE, and SCIP_Rational::val.

Referenced by adjustedLbExact(), adjustedUbExact(), applyFixings(), consdataComputePseudoActivity(), consdataGetActivity(), createAndAddProofcons(), getObjectiveRow(), lpExactFlushAndSolve(), nodeCreate(), readBoundsExact(), readBoundsRational(), readConstraintsRational(), readOPBFile(), readRowsExact(), RsetSpxR(), SCIP_DECL_CONSPARSE(), SCIPcertificatePrintResult(), SCIPgetLowerboundExact(), SCIPgetUpperboundExact(), SCIPlpExactGetObjval(), SCIPlpExactGetPseudoObjval(), SCIProwExactCreateFromRow(), SCIPsolGetValExact(), SCIPstatCreate(), SCIPstrToRationalValue(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetMultaggrUbLocalExact(), SCIPvarGetProbvarSumExact(), tryAggregateIntVarsExact(), varParse(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalIsString()

SCIP_Bool SCIPrationalIsString ( const char * desc )

checks if a string describes a rational number

Parameters

desc	string to check

Definition at line 652 of file rational.cpp.

References assert(), FALSE, NULL, SCIP_Bool, SCIPstrncasecmp(), and TRUE.

Referenced by isValueRational(), parseValue(), readSolFile(), and readXmlSolFile().

◆ SCIPrationalSetString()

void SCIPrationalSetString	(	SCIP_RATIONAL *	res,
		const char *	desc )

sets a rational to the value described by a string

Parameters

res	the result
desc	the string describing the rational

Definition at line 716 of file rational.cpp.

References assert(), scip::denominator(), i, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, NULL, SCIP_ISFPREPRESENTABLE_TRUE, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIPdebug, SCIPrationalCheckInfByValue(), SCIPstrncasecmp(), TRUE, and SCIP_Rational::val.

Referenced by isValueRational(), parseValue(), readBoundsExact(), readColsExact(), readRangesExact(), readRhsExact(), SCIPparseVarsPolynomialExact(), SCIPrationalCreateString(), and SCIPstrToRationalValue().

◆ SCIPrationalCreateString()

SCIP_RETCODE SCIPrationalCreateString	(	BMS_BLKMEM *	mem,
		SCIP_RATIONAL **	rational,
		const char *	desc )

allocates and creates a rational from a string if known, otherwise assigns a null pointer

Parameters

mem	block memory
rational	pointer to the rational to create
desc	the string describing the rational

Definition at line 796 of file rational.cpp.

References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPrationalCreateBlock(), SCIPrationalSetString(), and SCIPstrncasecmp().

Referenced by consdataCreate(), readSolFile(), readXmlSolFile(), SCIPcertificateNewNodeData(), SCIPcolExactCreate(), and SCIProwExactCreate().

◆ SCIPstrToRationalValue()

SCIP_Bool SCIPstrToRationalValue	(	char *	desc,
		SCIP_RATIONAL *	value,
		char **	endptr )

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

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

Parameters

desc	string to search
value	pointer to store the parsed value
endptr	pointer to store the final string position if successfully parsed, otherwise `desc`

Definition at line 822 of file rational.cpp.

References assert(), FALSE, NULL, SCIP_Bool, SCIPrationalSetInfinity(), SCIPrationalSetNegInfinity(), SCIPrationalSetString(), SCIPstrncasecmp(), and TRUE.

Referenced by SCIPparseRational(), and SCIPparseVarsPolynomialExact().

◆ SCIPrationalResetFloatingPointRepresentable()

void SCIPrationalResetFloatingPointRepresentable ( SCIP_RATIONAL * rat )

resets the flag isfprepresentable to SCIP_ISFPREPRESENTABLE_UNKNOWN

Parameters

rat	the number to set flag for

Definition at line 642 of file rational.cpp.

References assert(), SCIP_Rational::isfprepresentable, and SCIP_ISFPREPRESENTABLE_UNKNOWN.

◆ SCIPrationalCanonicalize()

void SCIPrationalCanonicalize ( SCIP_RATIONAL * rational )

transforms rational into canonical form

Parameters

rational rational to put in canonical form

Definition at line 538 of file rational.cpp.

References assert(), and SCIP_Rational::val.

Referenced by parseValue(), readBoundsExact(), readColsExact(), readRangesExact(), readRhsExact(), SCIPcalcIntegralScalarExact(), SCIPrationalComputeApproximation(), SCIPrationalIsIntegral(), and tryAggregateIntVarsExact().

◆ SCIPrationalCheckInfByValue()

void SCIPrationalCheckInfByValue ( SCIP_RATIONAL * rational )

checks if the underlying rational has a value >= infinity;

needed after underlying value was directly set, e.g. by exact lp solver

Parameters

rational rational number

Definition at line 552 of file rational.cpp.

References FALSE, infinity, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_TRUE, scip::Rational::sign(), TRUE, and SCIP_Rational::val.

Referenced by SCIPrationalSetFraction(), SCIPrationalSetReal(), and SCIPrationalSetString().

◆ SCIPrationalAdd()

void SCIPrationalAdd	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_RATIONAL *	op2 )

adds two rationals and saves the result in res

add two rationals and save the result in res

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 935 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIPABORT, SCIPerrorMessage, SCIPrationalSetRational(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by applyFixings(), lpExactUpdateObjval(), mergeMultiples(), readObjectiveRational(), readRangesExact(), rowExactMerge(), SCIPaggregateVarsExact(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactIncCoef(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetObjval(), SCIPlpExactGetSol(), SCIPprobAddObjoffsetExact(), SCIPprobExternObjvalExact(), SCIProwExactAddConstant(), SCIProwExactChgConstant(), SCIProwExactGetSolActivity(), SCIProwExactIncCoef(), SCIPsolGetValExact(), SCIPsolOrigAddObjvalExact(), SCIPvarAddObjExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetLPSolExact_rec(), SCIPvarMultiaggregateExact(), setObjective(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), varProcessChgUbLocalExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalAddReal()

void SCIPrationalAddReal	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	rat,
		SCIP_Real	real )

adds a rational and a real and saves the result in res

add a rational and a real and save the result in res

Parameters

res	the result
rat	rational number
real	real number

Definition at line 961 of file rational.cpp.

References assert(), FALSE, infinity, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, REALABS, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIP_Real, SCIPrationalSetRational(), SCIPrationalSetReal(), and SCIP_Rational::val.

Referenced by certificatePrintMirSplit(), primalSetUpperboundExact(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificatePrintGlobalBound(), SCIPcertificatePrintMirCut(), SCIPcertifyActivityVarBoundExact(), and SCIPrationalDiffReal().

◆ SCIPrationalDiff()

void SCIPrationalDiff	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_RATIONAL *	op2 )

subtracts two rationals and saves the result in res

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 983 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIPABORT, SCIPerrorMessage, SCIPrationalNegate(), SCIPrationalSetRational(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by addConstraintExact(), applyFixings(), consdataCreate(), consdataGetFeasibility(), getObjvalDeltaLbExact(), getObjvalDeltaObjExact(), getObjvalDeltaUbExact(), lpExactFlushAddRows(), lpExactFlushChgRows(), printLinearConsExact(), readRangesExact(), rowExactCreateFromRowLimitEncodingLength(), SCIP_DECL_CONSCHECK(), SCIP_DECL_SORTINDCOMP(), SCIPaddCoefExactLinear(), SCIPaggregateVarsExact(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificatePrintMirCut(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPconsPrintCertificateExactLinear(), SCIPcreateConsExactLinear(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIPprobInternObjvalExact(), SCIProwExactChgConstant(), SCIProwExactGetLPFeasibility(), SCIProwExactGetPseudoFeasibility(), SCIProwExactGetSolFeasibility(), SCIPsolSetValExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarChgLbOriginalExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarChgUbOriginalExact(), SCIPvarFixExact(), SCIPvarGetProbvarBoundExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalDiffReal()

void SCIPrationalDiffReal	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	rat,
		SCIP_Real	real )

subtracts a rational and a real and saves the result in res

subtract a rational and a real and save the result in res

Parameters

res	the result
rat	rational number
real	real number

Definition at line 1009 of file rational.cpp.

References assert(), SCIP_Real, and SCIPrationalAddReal().

Referenced by calcMIRSafely(), primalSetUpperboundExact(), printActivityConflictToCertificate(), SCIPcertificatePrintMirCut(), SCIPsolGetValExact(), SCIPvarAggregateExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarFixExact(), SCIPvarGetLPSolExact_rec(), SCIPvarGetProbvarBoundExact(), SCIPvarMultiaggregateExact(), varNegateExactData(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), and varProcessChgUbLocalExact().

◆ SCIPrationalRelDiff()

void SCIPrationalRelDiff	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	val1,
		SCIP_RATIONAL *	val2 )

returns the relative difference: (val1-val2)/max(|val1|,|val2|,1.0) of two rationals

Note: this method handles infinity like finite numbers

returns the relative difference: (val1-val2)/max(|val1|,|val2|,1.0)

Note: this method handles infinity like finite numbers

Parameters

res	the result
val1	first value to be compared
val2	second value to be compared

Definition at line 1024 of file rational.cpp.

References scip::abs(), assert(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIPrationalGetSign(), and SCIP_Rational::val.

Referenced by SCIPvalidateSolveExact().

◆ SCIPrationalMult()

void SCIPrationalMult	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_RATIONAL *	op2 )

multiplies two rationals and saves the result in res

multiply two rationals and save the result in res

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 1066 of file rational.cpp.

References assert(), FALSE, scip::Rational::is_zero(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_UNKNOWN, scip::Rational::sign(), TRUE, and SCIP_Rational::val.

Referenced by applyFixings(), consdataScaleMinValue(), getObjvalDeltaLbExact(), getObjvalDeltaObjExact(), getObjvalDeltaUbExact(), getVariable(), printRowExact(), probScaleObjExact(), SCIP_DECL_READERREAD(), SCIP_DECL_SORTINDCOMP(), SCIPcalcIntegralScalarExact(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificatePrintGlobalBound(), SCIPcertifyActivityVarBoundExact(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPlpExactGetDualfarkas(), SCIPlpExactUpdateVarColumn(), SCIPlpExactUpdateVarLoose(), SCIPprobExternObjvalExact(), SCIProwExactGetSolActivity(), SCIPsolGetValExact(), SCIPvarAddObjExact(), SCIPvarAddToRowExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetLPSolExact_rec(), SCIPvarGetProbvarSumExact(), SCIPwriteLp(), tryAggregateIntVarsExact(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), varProcessChgUbLocalExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalMultReal()

void SCIPrationalMultReal	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_Real	op2 )

multiply a rational and a real and save the result in res

multiplies a rational and a real and saves the result in res

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 1097 of file rational.cpp.

References assert(), FALSE, infinity, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, REALABS, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIP_Real, SCIPdebugMessage, SCIPrationalNegate(), SCIPrationalSetRational(), SCIPrationalSetReal(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by addRowExact(), applyFixings(), getFixedVariable(), readBoundsRational(), readCoefficientsRational(), readConstraintsRational(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificatePrintGlobalBound(), SCIPcertificatePrintMirCut(), SCIPcertifyActivityVarBoundExact(), SCIPprobExternObjvalExact(), SCIPprobInternObjvalExact(), SCIPreaderWrite(), SCIProwExactGetSolActivity(), SCIPvarAddObjExact(), SCIPvarAddToRowExact(), SCIPvarChgObjExact(), setObjective(), and writeOpbObjective().

◆ SCIPrationalDiv()

void SCIPrationalDiv	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_RATIONAL *	op2 )

divide two rationals and save the result in res

divides two rationals and saves the result in res

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 1132 of file rational.cpp.

References assert(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIPrationalIsZero(), and SCIP_Rational::val.

Referenced by consdataScaleMinValue(), probScaleObjExact(), SCIPaggregateVarsExact(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificatePrintGlobalBound(), SCIPcertificatePrintMirCut(), SCIPcertifyActivityVarBoundExact(), SCIPprobInternObjvalExact(), SCIPsolSetValExact(), SCIPvarAggregateExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarFixExact(), SCIPvarGetOrigvarSumExact(), SCIPvarGetProbvarBoundExact(), SCIPvarMultiaggregateExact(), SCIPvarTryAggregateVarsExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalDivReal()

void SCIPrationalDivReal	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_Real	op2 )

divide a rational by a real and save the result in res

divides a rational by a real and saves the result in res

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 1147 of file rational.cpp.

References assert(), FALSE, infinity, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, REALABS, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIP_Real, SCIPrationalIsZero(), SCIPrationalNegate(), SCIPrationalSetRational(), SCIPrationalSetReal(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by SCIPcertificatePrintMirCut(), and writeOpbObjective().

◆ SCIPrationalAddProd()

void SCIPrationalAddProd	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_RATIONAL *	op2 )

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 1173 of file rational.cpp.

References assert(), FALSE, scip::Rational::is_zero(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_FALSE, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIPABORT, SCIPerrorMessage, scip::Rational::sign(), TRUE, and SCIP_Rational::val.

Referenced by applyFixings(), consdataComputePseudoActivity(), consdataCreate(), consdataGetActivity(), rowExactCreateFromRowLimitEncodingLength(), SCIPcertificatePrintDualboundExactLP(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIProwExactRecalcLPActivity(), SCIProwExactRecalcPseudoActivity(), SCIPsolGetValExact(), SCIPsolRecomputeInternObjExact(), SCIPsolRetransformExact(), SCIPsolSetValExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetLPSolExact_rec(), SCIPvarGetMultaggrLbLocalExact(), SCIPvarGetMultaggrUbLocalExact(), and SCIPvarGetProbvarSumExact().

◆ SCIPrationalAddProdReal()

void SCIPrationalAddProdReal	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_Real	op2 )

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 1210 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_FALSE, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIP_Real, scip::Rational::sign(), TRUE, and SCIP_Rational::val.

Referenced by cutsRoundMIRSafely(), SCIPcertifyActivityVarBoundExact(), and SCIPvarGetProbvarSumExact().

◆ SCIPrationalDiffProd()

void SCIPrationalDiffProd	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_RATIONAL *	op2 )

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 1239 of file rational.cpp.

References assert(), FALSE, scip::Rational::is_zero(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_FALSE, SCIP_ISFPREPRESENTABLE_UNKNOWN, scip::Rational::sign(), TRUE, and SCIP_Rational::val.

Referenced by SCIPcertificatePrintDualboundExactLP(), SCIPsolSetValExact(), and SCIPvarGetOrigvarSumExact().

◆ SCIPrationalDiffProdReal()

void SCIPrationalDiffProdReal	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_Real	op2 )

Parameters

res	the result
op1	first operand
op2	second operand

Definition at line 1268 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_FALSE, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIP_Real, scip::Rational::sign(), TRUE, and SCIP_Rational::val.

Referenced by SCIPvarGetOrigvarSumExact().

◆ SCIPrationalNegate()

void SCIPrationalNegate	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op )

set res to -op

Parameters

res	the result
op	operand

Definition at line 1297 of file rational.cpp.

References assert(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, and SCIP_Rational::val.

Referenced by addRowExact(), applyFixings(), getObjvalDeltaLbExact(), getObjvalDeltaObjExact(), getObjvalDeltaUbExact(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintMirCut(), SCIPcertifyActivityVarBoundExact(), SCIPlpExactUpdateVarColumn(), SCIPrationalDiff(), SCIPrationalDivReal(), SCIPrationalMultReal(), SCIPsolGetValExact(), SCIPsolSetValExact(), SCIPvarAddObjExact(), SCIPvarAddToRowExact(), SCIPvarAggregateExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarCopyExactData(), SCIPvarFixExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetLPSolExact_rec(), SCIPvarGetOrigvarSumExact(), SCIPvarGetProbvarBoundExact(), SCIPvarGetProbvarSumExact(), SCIPvarMultiaggregateExact(), SCIPvarTryAggregateVarsExact(), varNegateExactData(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), and varProcessChgUbLocalExact().

◆ SCIPrationalAbs()

void SCIPrationalAbs	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op )

set res to Abs(op)

Parameters

res	the result
op	operand

Definition at line 1310 of file rational.cpp.

References scip::abs(), assert(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, and SCIP_Rational::val.

Referenced by consdataCalcMinAbsvalEx(), consdataUpdateChgCoef(), and readRangesExact().

◆ SCIPrationalInvert()

void SCIPrationalInvert	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op )

set res to 1/op

Parameters

res	the result
op	operand

Definition at line 1323 of file rational.cpp.

References assert(), FALSE, scip::Rational::is_zero(), SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_UNKNOWN, and SCIP_Rational::val.

Referenced by SCIPcertifyActivityVarBoundExact(), and SCIPvarTryAggregateVarsExact().

◆ SCIPrationalMin()

void SCIPrationalMin	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_RATIONAL *	op2 )

compute the minimum of two rationals

Parameters

res	the result
op1	the first rational
op2	the second rational

Definition at line 1342 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIPrationalSetRational(), and SCIP_Rational::val.

Referenced by consdataGetFeasibility(), primalSetCutoffboundExact(), SCIPcertificatePrintUnsplitting(), SCIPnodeAddBoundinferExact(), SCIPprimalUpdateObjoffsetExact(), SCIProwExactGetLPFeasibility(), SCIProwExactGetPseudoFeasibility(), SCIProwExactGetSolFeasibility(), SCIPtightenVarLbExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarGetMultaggrUbLocalExact(), SCIPvarGetUbLocalExactMinimal(), varProcessChgLbLocalExact(), varProcessChgUbLocal(), varProcessChgUbLocalExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalMax()

void SCIPrationalMax	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	op1,
		SCIP_RATIONAL *	op2 )

compute the maximum of two rationals

compute the minimum of two rationals

Parameters

res	the result
op1	the first rational
op2	the second rational

Definition at line 1373 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIPrationalSetRational(), and SCIP_Rational::val.

Referenced by SCIPnodeAddBoundinferExact(), SCIPtightenVarUbExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarGetLbLocalExactMaximal(), SCIPvarGetMultaggrLbLocalExact(), varProcessChgLbLocal(), varProcessChgLbLocalExact(), varProcessChgUbLocalExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalIsEQ()

SCIP_Bool SCIPrationalIsEQ	(	SCIP_RATIONAL *	rat1,
		SCIP_RATIONAL *	rat2 )

checks if two rationals are equal

Parameters

rat1	the first rational
rat2	the second rational

Definition at line 1404 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isinf, SCIP_Bool, scip::Rational::sign(), and SCIP_Rational::val.

Referenced by certificatePrintWeakDerStart(), checkCons(), checkProbHasContEqs(), chgLhs(), chgRhs(), colExactChgCoefPos(), consdataCreate(), consdataPrint(), consPrintConsSol(), determineTotalNumberLinearConss(), getObjvalDeltaObjExact(), lpExactFlushChgCols(), lpExactFlushChgRows(), printLinearConsExact(), readRangesExact(), rowExactChgCoefPos(), SCIPcertificateGetConsIndex(), SCIPcertificateGetRowIndex(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPcertificatePrintDualboundExactLP(), SCIPcertifyConsOrigExactLinear(), SCIPcolExactChgCoef(), SCIPcolExactChgLb(), SCIPcolExactChgObj(), SCIPcolExactChgUb(), SCIPcolExactDelCoef(), SCIPcolExactIncCoef(), SCIPconsPrintCertificateExactLinear(), SCIPeventAddExactBdChg(), SCIPeventAddExactObjChg(), SCIPfixVarExact(), SCIPlpExactEndDive(), SCIPlpExactStartDive(), SCIPlpExactUpdateVarLb(), SCIPlpExactUpdateVarLbGlobal(), SCIPlpExactUpdateVarObj(), SCIPlpExactUpdateVarUb(), SCIPlpExactUpdateVarUbGlobal(), SCIPnodeCutoff(), SCIPnodeUpdateLowerbound(), SCIProwExactChgCoef(), SCIProwExactChgConstant(), SCIProwExactChgLhs(), SCIProwExactChgRhs(), SCIProwExactDelCoef(), SCIProwExactIncCoef(), SCIPsolGetVal(), SCIPsolGetValExact(), SCIPsolSetValExact(), SCIPtreeGetLowerboundNode(), SCIPvarAddToRow(), SCIPvarAddToRowExact(), SCIPvarChgLbOriginalExact(), SCIPvarChgObjExact(), SCIPvarChgUbOriginalExact(), SCIPvarFixExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetLPSol_rec(), SCIPvarGetLPSolExact_rec(), SCIPvarMultiaggregateExact(), SCIPwriteLp(), solsAreEqualExact(), varEventGlbChangedExact(), varEventGubChangedExact(), varEventObjChangedExact(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), varProcessChgUbLocalExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalIsAbsEQ()

SCIP_Bool SCIPrationalIsAbsEQ	(	SCIP_RATIONAL *	rat1,
		SCIP_RATIONAL *	rat2 )

checks if two rationals are equal

Parameters

rat1	the first rational
rat2	the second rational

Definition at line 1421 of file rational.cpp.

References scip::abs(), assert(), FALSE, SCIP_Rational::isinf, SCIP_Bool, TRUE, and SCIP_Rational::val.

Referenced by consdataUpdateAddCoef(), consdataUpdateChgCoef(), consdataUpdateDelCoef(), and SCIP_DECL_SORTINDCOMP().

◆ SCIPrationalIsEQReal()

SCIP_Bool SCIPrationalIsEQReal	(	SCIP_RATIONAL *	rat,
		SCIP_Real	real )

checks if rational and real are equal

Parameters

rat	the rational
real	the real

Definition at line 1437 of file rational.cpp.

References assert(), infinity, SCIP_Rational::isinf, REALABS, SCIP_Bool, SCIP_Real, SCIPrationalIsNegative(), SCIPrationalIsPositive(), and SCIP_Rational::val.

Referenced by consPrintConsSol(), cutsRoundMIRSafely(), getVariable(), probScaleObjExact(), readConstraintsRational(), SCIP_DECL_READERWRITE(), SCIPrationalSetReal(), SCIPvarAddExactData(), SCIPvarAggregateExact(), SCIPvarMultiaggregateExact(), SCIPwriteVarsLinearsumExact(), varNegateExactData(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), and varProcessChgUbLocalExact().

◆ SCIPrationalIsApproxEQReal()

SCIP_Bool SCIPrationalIsApproxEQReal	(	SCIP_SET *	set,
		SCIP_RATIONAL *	rat,
		SCIP_Real	real,
		SCIP_ROUNDMODE_RAT	roundmode )

checks if real approx of rational and real are equal

Parameters

set	SCIP set pointer
rat	the rational
real	the real
roundmode	the rounding mode to use

Definition at line 1451 of file rational.cpp.

References assert(), SCIP_Rational::isinf, SCIP_Bool, SCIP_R_ROUND_NEAREST, SCIP_Real, SCIPrationalGetReal(), SCIPrationalIsPositive(), SCIPrationalRoundReal(), SCIPsetIsEQ(), and SCIPsetIsInfinity().

Referenced by colExactInSync(), and rowExactInSync().

◆ SCIPrationalIsGT()

SCIP_Bool SCIPrationalIsGT	(	SCIP_RATIONAL *	rat1,
		SCIP_RATIONAL *	rat2 )

checks if first rational is greater than second rational

Parameters

rat1	the first rational
rat2	the second rational

Definition at line 1474 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isinf, SCIP_Bool, TRUE, and SCIP_Rational::val.

Referenced by boundchgApplyExact(), checkCons(), checkSolOrigExact(), chgLhs(), consdataCreate(), primalSetCutoffbound(), readBoundsExact(), SCIP_DECL_CONSCHECK(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificateUpdateParentData(), SCIPfixVarExact(), SCIPinferVarLbConsExact(), SCIPlpExactGetSol(), SCIPnodeAddBoundinferExact(), SCIPnodeUpdateLowerboundLP(), SCIPrationalIsGE(), SCIPrationalIsLE(), SCIPrationalIsLT(), SCIPtightenVarLbExact(), SCIPtightenVarUbExact(), SCIPtreeGetLowerboundExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarFixExact(), solCheckExact(), varProcessChgLbGlobalExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalIsLT()

SCIP_Bool SCIPrationalIsLT	(	SCIP_RATIONAL *	rat1,
		SCIP_RATIONAL *	rat2 )

checks if first rational is smaller than second rational

Parameters

rat1	the first rational
rat2	the second rational

Definition at line 1503 of file rational.cpp.

References SCIP_Bool, and SCIPrationalIsGT().

Referenced by boundchgApplyExact(), checkCons(), checkSolOrigExact(), chgRhs(), nodepqDelPos(), primalAddSol(), primalSetUpperboundExact(), readBoundsExact(), SCIP_DECL_CONSCHECK(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificateUpdateBoundData(), SCIPcertificateUpdateParentData(), SCIPfixVarExact(), SCIPinferVarUbConsExact(), SCIPlpExactGetSol(), SCIPnodeAddBoundinferExact(), SCIPnodeCutoff(), SCIPnodeFocus(), SCIPnodepqBound(), SCIPnodepqInsert(), SCIPnodeUpdateLowerbound(), SCIPtightenVarLbExact(), SCIPtightenVarUbExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarFixExact(), solCheckExact(), solOfInterest(), varProcessChgUbGlobalExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalIsGE()

SCIP_Bool SCIPrationalIsGE	(	SCIP_RATIONAL *	rat1,
		SCIP_RATIONAL *	rat2 )

checks if first rational is greater or equal than second rational

Parameters

rat1	the first rational
rat2	the second rational

Definition at line 1512 of file rational.cpp.

References SCIP_Bool, and SCIPrationalIsGT().

Referenced by applyBounding(), boundchgApplyExact(), rowExactCreateFromRowLimitEncodingLength(), SCIPcertificatePrintUnsplitting(), SCIPinferVarUbConsExact(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIPnodeAddBoundinferExact(), SCIPnodeUpdateLowerbound(), SCIPsolveExactDiveLP(), SCIPtightenVarUbExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbOriginalExact(), varProcessChgUbGlobalExact(), and varProcessChgUbLocalExact().

◆ SCIPrationalIsLE()

SCIP_Bool SCIPrationalIsLE	(	SCIP_RATIONAL *	rat1,
		SCIP_RATIONAL *	rat2 )

checks if first rational is less or equal than second rational

Parameters

rat1	the first rational
rat2	the second rational

Definition at line 1521 of file rational.cpp.

References SCIP_Bool, and SCIPrationalIsGT().

Referenced by addConstraintExact(), boundchgApplyExact(), nodepqDelPos(), rowExactCreateFromRowLimitEncodingLength(), SCIP_DECL_CONSCHECK(), SCIPaddVarExactData(), SCIPfixVarExact(), SCIPgetLowerboundExact(), SCIPinferVarLbConsExact(), SCIPinferVarUbConsExact(), SCIPlpExactGetSol(), SCIPnodeAddBoundinferExact(), SCIProwExactAddConstant(), SCIProwExactChgConstant(), SCIProwExactCreate(), SCIPtightenVarLbExact(), SCIPtightenVarUbExact(), SCIPtreeGetLowerboundNode(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbOriginalExact(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), and varProcessChgUbGlobalExact().

◆ SCIPrationalIsAbsGT()

SCIP_Bool SCIPrationalIsAbsGT	(	SCIP_RATIONAL *	rat1,
		SCIP_RATIONAL *	rat2 )

checks if first rational is greater than second rational

Parameters

rat1	the first rational
rat2	the second rational

Definition at line 1530 of file rational.cpp.

References scip::abs(), assert(), FALSE, SCIP_Rational::isinf, SCIP_Bool, TRUE, and SCIP_Rational::val.

Referenced by consdataCalcMinAbsvalEx(), consdataUpdateChgCoef(), and SCIP_DECL_SORTINDCOMP().

◆ SCIPrationalIsGTReal()

SCIP_Bool SCIPrationalIsGTReal	(	SCIP_RATIONAL *	rat,
		SCIP_Real	real )

checks if rational is greater than real

Parameters

rat	the rational
real	the real

Definition at line 1546 of file rational.cpp.

References assert(), FALSE, infinity, SCIP_Rational::isinf, SCIP_Bool, SCIP_Real, TRUE, and SCIP_Rational::val.

Referenced by lpExactFlushAndSolve(), propagateCons(), readBoundsExact(), rowExactCreateFromRowLimitEncodingLength(), SCIPrationalIsLEReal(), varParse(), and varProcessChgUbGlobal().

◆ SCIPrationalIsLTReal()

SCIP_Bool SCIPrationalIsLTReal	(	SCIP_RATIONAL *	rat,
		SCIP_Real	real )

checks if rational is less than real

Parameters

rat	the rational
real	the real

Definition at line 1576 of file rational.cpp.

References assert(), FALSE, infinity, SCIP_Rational::isinf, SCIP_Bool, SCIP_Real, TRUE, and SCIP_Rational::val.

Referenced by consdataScaleMinValue(), propagateCons(), rowExactCreateFromRowLimitEncodingLength(), SCIPlpExactSolveAndEval(), SCIPrationalIsGEReal(), and varProcessChgLbGlobal().

◆ SCIPrationalIsGEReal()

SCIP_Bool SCIPrationalIsGEReal	(	SCIP_RATIONAL *	rat,
		SCIP_Real	real )

checks if rational is greater or equal than real

Parameters

rat	the rational
real	the real

Definition at line 1606 of file rational.cpp.

References SCIP_Bool, SCIP_Real, and SCIPrationalIsLTReal().

Referenced by propagateCons(), rowExactInSync(), SCIPcertificatePrintUnsplitting(), SCIPlpExactSetCutoffbound(), SCIPlpExactSolveAndEval(), SCIPnodeCutoff(), SCIPnodeFocus(), SCIPnodepqBound(), and SCIPnodeUpdateLowerbound().

◆ SCIPrationalIsLEReal()

SCIP_Bool SCIPrationalIsLEReal	(	SCIP_RATIONAL *	rat,
		SCIP_Real	real )

checks if rational is less or equal than real

Parameters

rat	the rational
real	the real

Definition at line 1615 of file rational.cpp.

References SCIP_Bool, SCIP_Real, and SCIPrationalIsGTReal().

Referenced by primalSetCutoffboundExact(), primalSetUpperboundExact(), propagateCons(), and rowExactInSync().

◆ SCIPrationalIsZero()

SCIP_Bool SCIPrationalIsZero ( SCIP_RATIONAL * rational )

checks if rational is zero

Parameters

rational the rational to check

Definition at line 1624 of file rational.cpp.

References assert(), FALSE, scip::Rational::is_zero(), SCIP_Rational::isinf, SCIP_Bool, TRUE, and SCIP_Rational::val.

Referenced by addCoef(), addRowExact(), applyFixings(), certificatePrintSol(), chgCoefPos(), chgLhs(), chgRhs(), colExactAddCoef(), colExactChgCoefPos(), colExactLink(), consdataCalcMinAbsvalEx(), consdataComputePseudoActivity(), consdataCreate(), consdataFree(), consdataGetActivity(), consdataScaleMinValue(), getFiniteLooseObjvalExact(), getObjectiveRow(), lockRounding(), lpExactUpdateObjval(), mergeMultiples(), printRowExact(), probCheckObjIntegralExact(), probScaleObjExact(), readBoundsExact(), readBoundsRational(), readCoefficientsRational(), readColsExact(), readObjectiveRational(), readRhsExact(), rowExactAddCoef(), rowExactChgCoefPos(), rowExactCreateFromRowLimitEncodingLength(), rowExactLink(), rowExactMerge(), SCIP_DECL_READERREAD(), SCIP_DECL_READERWRITE(), SCIPaggregateVarsExact(), SCIPcalcIntegralScalarExact(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintDualboundPseudo(), SCIPcertificatePrintGlobalBound(), SCIPcertificateSetAndPrintObjective(), SCIPchgCoefExactLinear(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgLb(), SCIPcolExactChgObj(), SCIPcolExactChgUb(), SCIPcolExactCreate(), SCIPcolExactGetBestBound(), SCIPcolExactIncCoef(), SCIPlpExactAddRow(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetObjval(), SCIPlpiExactAddCols(), SCIPlpiExactAddRows(), SCIPlpiExactLoadColLP(), SCIPparseVarsLinearsumExact(), SCIPparseVarsPolynomialExact(), SCIPrationalarrayIncVal(), SCIPrationalDiv(), SCIPrationalDivReal(), SCIProwExactAddConstant(), SCIProwExactCreate(), SCIProwExactIncCoef(), SCIProwExactPrint(), SCIProwExactRecalcLPActivity(), SCIPsolGetValExact(), SCIPsolPrintExact(), SCIPsolRecomputeInternObjExact(), SCIPsolRetransformExact(), SCIPsolSetValExact(), SCIPvalidateSolveExact(), SCIPvarAddExactData(), SCIPvarAddObjExact(), SCIPvarAddToRowExact(), SCIPvarAggregateExact(), SCIPvarFixExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetProbvarSumExact(), SCIPvarMultiaggregateExact(), SCIPvarTryAggregateVarsExact(), SCIPwriteLp(), tryAggregateIntVarsExact(), unlockRounding(), varProcessChgLbLocalExact(), varProcessChgUbLocalExact(), varUpdateAggregationBoundsExact(), and writeOpbConstraints().

◆ SCIPrationalIsPositive()

SCIP_Bool SCIPrationalIsPositive ( SCIP_RATIONAL * rational )

checks if rational is positive

Parameters

rational the rational to check

Definition at line 1640 of file rational.cpp.

References assert(), SCIP_Bool, scip::Rational::sign(), and SCIP_Rational::val.

Referenced by addRowExact(), adjustedLbExact(), adjustedUbExact(), chgCoefPos(), chgLhs(), chgRhs(), getObjvalDeltaLbExact(), getObjvalDeltaObjExact(), lockRounding(), rowExactCreateFromRowLimitEncodingLength(), SCIP_DECL_CONSLOCK(), SCIPcertificatePrintAggrrow(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintDualboundPseudo(), SCIPcertificatePrintGlobalBound(), SCIPcertificatePrintMirCut(), SCIPcertifyActivityConflict(), SCIPcertifyActivityVarBoundExact(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgObj(), SCIPcolExactGetBestBound(), SCIPcolExactPrint(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIPlpExactUpdateVarColumn(), SCIPlpExactUpdateVarLb(), SCIPlpExactUpdateVarLbGlobal(), SCIPlpExactUpdateVarLoose(), SCIPprobExternObjvalExact(), SCIPprobInternObjvalExact(), SCIPrationalIsApproxEQReal(), SCIPrationalIsEQReal(), SCIProwExactGenerateFpRows(), SCIProwExactGetSolActivity(), SCIProwExactPrint(), SCIPsolSetValExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarGetMultaggrLbLocalExact(), SCIPvarGetMultaggrUbLocalExact(), SCIPvarGetProbvarSumExact(), solCheckExact(), SpxRSetRat(), unlockRounding(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), varProcessChgUbLocalExact(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalIsNegative()

SCIP_Bool SCIPrationalIsNegative ( SCIP_RATIONAL * rational )

checks if rational is negative

Parameters

rational the rational to check

Definition at line 1650 of file rational.cpp.

References assert(), SCIP_Bool, scip::Rational::sign(), and SCIP_Rational::val.

Referenced by addRowExact(), adjustedLbExact(), adjustedUbExact(), chgCoefPos(), consdataComputePseudoActivity(), consdataGetActivity(), getObjvalDeltaObjExact(), getObjvalDeltaUbExact(), printRowExact(), printRowExact(), readBoundsExact(), readRangesExact(), rowExactCreateFromRowLimitEncodingLength(), SCIPcertificatePrintDualboundExactLP(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgLb(), SCIPcolExactChgObj(), SCIPcolExactChgUb(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIPlpExactUpdateVarColumn(), SCIPlpExactUpdateVarLoose(), SCIPlpExactUpdateVarUb(), SCIPlpExactUpdateVarUbGlobal(), SCIPrationalIsEQReal(), SCIProwExactGenerateFpRows(), SCIPvarAggregateExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarFixExact(), SCIPvarGetBestBoundGlobalExact(), SCIPvarGetBestBoundLocalExact(), SCIPvarGetBestBoundTypeExact(), SCIPvarGetProbvarBoundExact(), SCIPvarGetWorstBoundGlobalExact(), SCIPvarGetWorstBoundLocalExact(), SCIPvarGetWorstBoundTypeExact(), SCIPvarMultiaggregateExact(), SCIPwriteLp(), SCIPwriteVarsLinearsumExact(), solCheckExact(), varParse(), and writeOpbObjective().

◆ SCIPrationalIsInfinity()

SCIP_Bool SCIPrationalIsInfinity ( SCIP_RATIONAL * rational )

checks if rational is positive infinity

Parameters

rational the rational to check

Definition at line 1660 of file rational.cpp.

References assert(), SCIP_Rational::isinf, SCIP_Bool, scip::Rational::sign(), and SCIP_Rational::val.

Referenced by addConstraintExact(), addRelaxation(), addRowExact(), applyFixings(), certificatePrintDualbound(), checkCons(), chgLhs(), chgRhs(), colExactInSync(), consdataComputePseudoActivity(), consdataGetActivity(), consdataPrint(), consPrintConsSol(), determineTotalNumberLinearConss(), getObjectiveRow(), getObjvalDeltaLbExact(), getObjvalDeltaObjExact(), getObjvalDeltaUbExact(), lockRounding(), primalSetUpperboundExact(), printBoundsExact(), printLinearConsExact(), readBoundsExact(), readBoundsRational(), readRangesExact(), readRhsExact(), rowExactCreateFromRowLimitEncodingLength(), rowExactInSync(), SCIP_DECL_CONSLOCK(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintRtpRange(), SCIPcertificatePrintUnsplitting(), SCIPcertificateUpdateParentData(), SCIPcertifyConsOrigExactLinear(), SCIPchgVarLbExact(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPconsPrintCertificateExactLinear(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIPlpExactUpdateVarColumn(), SCIPlpExactUpdateVarLoose(), SCIPlpiExactChgBounds(), SCIPnodeAddBoundinferExact(), SCIPnodeUpdateLowerbound(), SCIPnodeUpdateLowerboundLP(), SCIProwExactChgConstant(), SCIProwExactGenerateFpRows(), SCIProwExactGetSolActivity(), SCIProwExactRecalcLPActivity(), SCIPsepastoreExactAddCut(), SCIPtightenVarLbExact(), SCIPvalidateSolveExact(), SCIPvarChgLbLocalExact(), SCIPvarChgUbLocalExact(), SCIPvarFixExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetMultaggrLbLocalExact(), SCIPvarGetMultaggrUbLocalExact(), SCIPvarGetProbvarSumExact(), SCIPvarParseOriginal(), SCIPvarParseTransformed(), SCIPwriteLp(), solCheckExact(), solOfInterest(), unlockRounding(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalIsNegInfinity()

SCIP_Bool SCIPrationalIsNegInfinity ( SCIP_RATIONAL * rational )

checks if rational is negative infinity

Parameters

rational the rational to check

Definition at line 1670 of file rational.cpp.

References assert(), SCIP_Rational::isinf, SCIP_Bool, scip::Rational::sign(), and SCIP_Rational::val.

Referenced by addConstraintExact(), addRelaxation(), addRowExact(), applyFixings(), certificatePrintDualbound(), checkCons(), chgLhs(), chgRhs(), colExactInSync(), consdataComputePseudoActivity(), consdataGetActivity(), consdataPrint(), consPrintConsSol(), determineTotalNumberLinearConss(), getObjectiveRow(), getObjvalDeltaLbExact(), getObjvalDeltaObjExact(), getObjvalDeltaUbExact(), lockRounding(), printBoundsExact(), printLinearConsExact(), readRangesExact(), readRhsExact(), rowExactCreateFromRowLimitEncodingLength(), rowExactInSync(), SCIP_DECL_CONSLOCK(), SCIPcertificatePrintRtpRange(), SCIPcertifyConsOrigExactLinear(), SCIPchgVarUbExact(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPconsPrintCertificateExactLinear(), SCIPinferVarLbConsExact(), SCIPinferVarUbConsExact(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetPrimalRay(), SCIPlpExactGetSol(), SCIPlpExactUpdateVarColumn(), SCIPlpExactUpdateVarLoose(), SCIPlpiExactChgBounds(), SCIPnodeAddBoundinferExact(), SCIProwExactGenerateFpRows(), SCIProwExactGetSolActivity(), SCIPsepastoreExactAddCut(), SCIPtightenVarUbExact(), SCIPvalidateSolveExact(), SCIPvarChgLbLocalExact(), SCIPvarChgUbLocalExact(), SCIPvarFixExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetMultaggrLbLocalExact(), SCIPvarGetMultaggrUbLocalExact(), SCIPvarGetProbvarSumExact(), SCIPvarParseOriginal(), SCIPvarParseTransformed(), SCIPwriteLp(), solCheckExact(), unlockRounding(), and varUpdateAggregationBoundsExact().

◆ SCIPrationalIsAbsInfinity()

SCIP_Bool SCIPrationalIsAbsInfinity ( SCIP_RATIONAL * rational )

checks if rational is negative infinity

Parameters

rational the rational to check

Definition at line 1680 of file rational.cpp.

References assert(), scip::Rational::is_zero(), SCIP_Rational::isinf, SCIP_Bool, and SCIP_Rational::val.

Referenced by applyFixings(), certificatePrintDualbound(), consdataCreate(), createAndAddProofcons(), getObjvalDeltaLbExact(), getObjvalDeltaObjExact(), getObjvalDeltaUbExact(), SCIP_DECL_CONSCHECK(), SCIPaddCoefExactLinear(), SCIPaddVarExactData(), SCIPcertificateGetConsIndex(), SCIPcertificateGetRowIndex(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintDualboundPseudo(), SCIPcertificatePrintResult(), SCIPcertifyActivityVarBoundExact(), SCIPcertifyConsOrigExactLinear(), SCIPchgVarObjExact(), SCIPconsPrintCertificateExactLinear(), SCIPcreateConsExactLinear(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetObjval(), SCIPprobExternObjvalExact(), SCIPprobInternObjvalExact(), SCIProwExactAddConstant(), SCIProwExactChgConstant(), SCIProwExactGetSolActivity(), SCIPsolGetValExact(), SCIPsolRetransformExact(), SCIPsolSetValExact(), SCIPvarAddToRowExact(), SCIPvarChgLbGlobalExact(), SCIPvarChgUbGlobalExact(), SCIPvarGetActiveRepresentativesExact(), SCIPvarGetProbvarSumExact(), solCheckExact(), solSetArrayValExact(), SpxRSetRat(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), and varProcessChgUbLocalExact().

◆ SCIPrationalIsIntegral()

SCIP_Bool SCIPrationalIsIntegral ( SCIP_RATIONAL * rational )

checks if rational is integral

Parameters

rational the rational to check

Definition at line 1691 of file rational.cpp.

References assert(), scip::denominator(), FALSE, SCIP_Rational::isinf, scip::numerator(), SCIP_Bool, SCIPrationalCanonicalize(), TRUE, and SCIP_Rational::val.

Referenced by boundchgApplyExact(), branchcandCalcLPCandsExact(), certificatePrintDualbound(), certificatePrintMirSplit(), checkIntegralityExact(), probCheckObjIntegralExact(), probScaleObjExact(), readBoundsExact(), rowExactAddCoef(), rowExactChgCoefPos(), rowExactMerge(), SCIPbranchExecLPExact(), SCIPcertificatePrintCutoffBound(), SCIPcertificateUpdateBranchingData(), SCIPcertifyActivityVarBoundExact(), SCIPfixVarExact(), SCIPnodeAddBoundinferExact(), SCIProwExactCreate(), SCIPvarChgLbGlobalExact(), SCIPvarChgLbLocalExact(), SCIPvarChgUbGlobalExact(), SCIPvarChgUbLocalExact(), SCIPvarFixExact(), SCIPvarTryAggregateVarsExact(), tryAggregateIntVarsExact(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), and varProcessChgUbLocalExact().

◆ SCIPrationalIsFpRepresentable()

SCIP_Bool SCIPrationalIsFpRepresentable ( SCIP_RATIONAL * rational )

checks if rational is exactly representable as real

Parameters

rational the rational to check

Definition at line 1710 of file rational.cpp.

References assert(), FALSE, SCIP_Rational::isfprepresentable, SCIP_Bool, SCIP_ISFPREPRESENTABLE_FALSE, SCIP_ISFPREPRESENTABLE_TRUE, SCIP_R_ROUND_DOWNWARDS, SCIP_R_ROUND_UPWARDS, SCIPrationalRoundReal(), and TRUE.

Referenced by getObjectiveRow(), lpGetModifiedPseudoObjvalExact(), SCIPboundchgUndo(), and SCIProwExactCreateFromRow().

◆ SCIPrationalToString()

int SCIPrationalToString	(	SCIP_RATIONAL *	rational,
		char *	str,
		int	strlen )

converts a rational to a string for printing, returns the number of copied characters.

Returns: number of characters printed into string, see also SCIPstrncpy()

Note: If return value is equal to strlen, it means the string was truncated.

Parameters

rational	the rational to print
str	the string to save the rational in
strlen	maximal length that can be copied to str

Definition at line 1743 of file rational.cpp.

References SCIP_Rational::isinf, NULL, SCIPrationalDebugMessage, SCIPstrncpy(), scip::Rational::sign(), scip::Rational::str(), and SCIP_Rational::val.

Referenced by printRowExact(), printRowExact(), SCIPcertificatePrintProblemRational(), SCIPcertificatePrintProofRational(), SCIPcollectSolutionStatistics(), SCIPprintSolExact(), SCIPsolPrintExact(), SCIPvalidateSolveExact(), SCIPwriteLp(), and writeOpbObjective().

◆ SCIPrationalStrLen()

int SCIPrationalStrLen ( SCIP_RATIONAL * rational )

returns the strlen of a rational number

Parameters

rational rational to consider

Definition at line 1774 of file rational.cpp.

References SCIP_Rational::isinf, NULL, scip::Rational::str(), and SCIP_Rational::val.

Referenced by SCIPcertificatePrintProblemRational(), SCIPcertificatePrintProofRational(), SCIPprintSolExact(), and SCIPsolPrintExact().

◆ SCIPrationalMessage()

void SCIPrationalMessage	(	SCIP_MESSAGEHDLR *	msg,
		FILE *	file,
		SCIP_RATIONAL *	rational )

prints rational into a file using message handler

Parameters

msg	message handler
file	file pointer
rational	the rational to print

Definition at line 1790 of file rational.cpp.

References SCIP_Rational::isinf, NULL, SCIPmessageFPrintInfo(), scip::Rational::sign(), scip::Rational::str(), and SCIP_Rational::val.

Referenced by checkIntegralityExact(), consdataPrint(), consPrintConsSol(), displayRelevantStats(), printBoundsExact(), SCIP_DECL_CONSCHECK(), SCIP_DECL_READERWRITE(), SCIPcolExactPrint(), SCIPprintSolutionStatistics(), SCIPrationalPrintVerbInfo(), SCIProwExactPrint(), SCIPvarPrint(), SCIPwriteVarsLinearsumExact(), and writeOpbObjective().

◆ SCIPrationalPrintVerbInfo()

void SCIPrationalPrintVerbInfo	(	SCIP_MESSAGEHDLR *	msg,
		SCIP_VERBLEVEL	verblevel,
		SCIP_VERBLEVEL	msgverblevel,
		SCIP_RATIONAL *	rational )

prints rational depending on the verbosity level

Parameters

msg	message handler
verblevel	current verbosity level
msgverblevel	verbosity level of this message
rational	the rational to print

Definition at line 1813 of file rational.cpp.

References assert(), NULL, SCIP_VERBLEVEL_FULL, SCIP_VERBLEVEL_NONE, and SCIPrationalMessage().

Referenced by SCIPpresolve().

◆ SCIPrationalPrint()

void SCIPrationalPrint ( SCIP_RATIONAL * rational )

prints a rational to command line (for debugging)

print a rational to command line (for debugging)

Parameters

rational the rational to print

Definition at line 1831 of file rational.cpp.

References SCIP_Rational::isinf, NULL, scip::Rational::sign(), and SCIP_Rational::val.

Referenced by SCIPrationalarrayPrint(), and SCIPrationalVPrintf().

◆ SCIPrationalPrintf()

void SCIPrationalPrintf	(	const char *	formatstr,
			... )

printf extension for rationals (does not support all format options yet)

Parameters

formatstr	format string like in printf() function
...	format arguments line in printf() function

Definition at line 1923 of file rational.cpp.

References SCIPrationalVPrintf().

◆ SCIPrationalPrintDebugMessage()

void SCIPrationalPrintDebugMessage	(	const char *	sourcefile,
		int	sourceline,
		const char *	formatstr,
			... )

prints a debug message

Parameters

sourcefile	name of the source file that called the function
sourceline	line in the source file where the function was called
formatstr	format string like in printf() function
...	format arguments line in printf() function

Definition at line 1936 of file rational.cpp.

References assert(), NULL, and SCIPrationalVPrintf().

◆ SCIPrationalNumerator()

SCIP_Longint SCIPrationalNumerator ( SCIP_RATIONAL * rational )

returns the numerator of a rational as a long

Parameters

rational the rational

Definition at line 2018 of file rational.cpp.

References assert(), SCIP_Longint, scip::Rational::val, and SCIP_Rational::val.

Referenced by SCIPcalcIntegralScalarExact(), and tryAggregateIntVarsExact().

◆ SCIPrationalDenominator()

SCIP_Longint SCIPrationalDenominator ( SCIP_RATIONAL * rational )

returns the denominator of a rational as a long

Parameters

rational the rational

Definition at line 2027 of file rational.cpp.

References assert(), and SCIP_Longint.

Referenced by SCIPcalcIntegralScalarExact(), and tryAggregateIntVarsExact().

◆ SCIPrationalDenominatorIsLE()

SCIP_Bool SCIPrationalDenominatorIsLE	(	SCIP_RATIONAL *	rational,
		SCIP_Longint	val )

compares denominator of a rational to a long

returns the denominator of a rational as a long

Parameters

rational	the rational
val	long value to compare to

Definition at line 2036 of file rational.cpp.

References assert(), SCIP_Bool, SCIP_Longint, and TRUE.

Referenced by rowExactCreateFromRowLimitEncodingLength().

◆ SCIPrationalGetSign()

int SCIPrationalGetSign ( const SCIP_RATIONAL * rational )

returns the sign of the rational (1 if positive, -1 if negative, 0 if zero)

Parameters

rational the rational

Definition at line 2048 of file rational.cpp.

References assert(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by applyFixings(), SCIPrationalRelDiff(), SCIPsolGetValExact(), SCIPvarGetActiveRepresentativesExact(), and SCIPvarGetProbvarSumExact().

◆ SCIPrationalGetFrac()

void SCIPrationalGetFrac	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	src )

computes fractional part of a rational number

computes fractional part of a rational

Parameters

res	rational to save the frac
src	src rational

Definition at line 2057 of file rational.cpp.

References assert(), scip::denominator(), SCIP_Rational::isinf, scip::numerator(), SCIPrationalSetReal(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by branchcandCalcLPCandsExact().

◆ SCIPrationalGetReal()

SCIP_Real SCIPrationalGetReal ( SCIP_RATIONAL * rational )

returns approximation of rational as SCIP_Real

Parameters

rational the rational

Definition at line 2085 of file rational.cpp.

References assert(), infinity, SCIP_Rational::isinf, SCIP_Real, scip::Rational::sign(), and SCIP_Rational::val.

Referenced by addRowExact(), adjustedLbExact(), adjustedUbExact(), branchcandCalcLPCandsExact(), checkSolOrigExact(), consdataCreate(), consdataGetActivity(), overwriteMultAggrWithExactData(), primalAddSolExact(), probScaleObjExact(), readBoundsExact(), readCoefficientsRational(), readConstraintsRational(), readSolFile(), readXmlSolFile(), SCIP_DECL_CONSCOPY(), SCIPcertificatePrintMirCut(), SCIPlpExactGetDualfarkas(), SCIPlpExactGetSol(), SCIPlpExactOverwriteFpDualSol(), SCIPnodeUpdateLowerboundLP(), SCIPparseVarsPolynomialExact(), SCIPprobAddObjoffsetExact(), SCIPprobExternObjval(), SCIPprobInternObjval(), SCIPrationalComputeApproximation(), SCIPrationalIsApproxEQReal(), SCIPrationalRoundReal(), SCIProwExactPrint(), SCIProwExactRecalcLPActivity(), SCIProwExactRecalcPseudoActivity(), SCIPsolMakeReal(), SCIPsolOrigAddObjvalExact(), SCIPsolSetValExact(), SCIPvarAddExactData(), SCIPvarAddObjExact(), SCIPvarAggregateExact(), SCIPvarChgObjExact(), SCIPvarMultiaggregateExact(), SCIPvarTryAggregateVarsExact(), SCIPwriteMps(), solCheckExact(), SpxRSetRat(), varEventGubChangedExact(), varEventObjChangedExact(), and varEventUbChangedExact().

◆ SCIPrationalRoundReal()

SCIP_Real SCIPrationalRoundReal	(	SCIP_RATIONAL *	rational,
		SCIP_ROUNDMODE_RAT	roundmode )

gets the relaxation of a rational as a real

Note: Requires MPFR if rational is not fp-representable and roundmode is different from SCIP_R_ROUND_NEAREST.

Parameters

rational	the rational
roundmode	the rounding direction

Definition at line 2110 of file rational.cpp.

References assert(), infinity, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, SCIP_INVALID, SCIP_ISFPREPRESENTABLE_TRUE, SCIP_R_ROUND_DOWNWARDS, SCIP_R_ROUND_NEAREST, SCIP_R_ROUND_UPWARDS, SCIP_Real, SCIPABORT, SCIPerrorMessage, SCIPrationalGetReal(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by chgLhs(), chgRhs(), consdataCreate(), consdataScaleMinValue(), createAndAddProofcons(), getObjectiveRow(), lpExactFlushAndSolve(), primalSetCutoffboundExact(), primalSetUpperboundExact(), rowExactCreateFromRowLimitEncodingLength(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPfixVarExact(), SCIPgetDualProof(), SCIPintervalSetRational(), SCIPlpExactGetSol(), SCIPlpExactSolveAndEval(), SCIPnodeAddBoundinferExact(), SCIPnodeUpdateLowerbound(), SCIPrationalIsApproxEQReal(), SCIPrationalIsFpRepresentable(), SCIProwExactChgLhs(), SCIProwExactChgRhs(), SCIProwExactCreate(), SCIProwExactGenerateFpRows(), SCIPsolLinkLPSolExact(), SCIPsolOverwriteFPSolWithExact(), SCIPvarAddExactData(), SCIPvarChgLbOriginalExact(), SCIPvarChgUbOriginalExact(), varEventGlbChangedExact(), varEventGubChangedExact(), varEventLbChangedExact(), varEventUbChangedExact(), varParse(), varProcessChgLbGlobalExact(), varProcessChgLbLocalExact(), varProcessChgUbGlobalExact(), and varProcessChgUbLocalExact().

◆ SCIPrationalRoundInteger()

void SCIPrationalRoundInteger	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	src,
		SCIP_ROUNDMODE_RAT	roundmode )

rounds a rational to an integer and saves it as a rational

Parameters

res	the resulting rounded integer
src	the rational to round
roundmode	the rounding direction

Definition at line 2158 of file rational.cpp.

References scip::abs(), assert(), scip::denominator(), SCIP_Rational::isinf, scip::numerator(), SCIP_R_ROUND_DOWNWARDS, SCIP_R_ROUND_NEAREST, SCIP_R_ROUND_UPWARDS, SCIPABORT, SCIPerrorMessage, SCIPrationalSetRational(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by adjustedLbExact(), adjustedUbExact(), certificatePrintDualbound(), getObjectiveRow(), primalSetUpperboundExact(), SCIP_DECL_CONSCHECK(), SCIPcertificatePrintCutoffBound(), and SCIPcertifyActivityVarBoundExact().

◆ SCIPrationalRoundLong()

SCIP_Bool SCIPrationalRoundLong	(	SCIP_Longint *	res,
		SCIP_RATIONAL *	src,
		SCIP_ROUNDMODE_RAT	roundmode )

rounds rational to next integer in direction of roundmode

Returns: FALSE if rational outside of long-range

Parameters

res	the resulting rounded long int
src	the rational to round
roundmode	the rounding direction

Definition at line 2204 of file rational.cpp.

References scip::abs(), assert(), scip::denominator(), FALSE, SCIP_Rational::isinf, scip::numerator(), SCIP_Bool, SCIP_Longint, SCIP_R_ROUND_DOWNWARDS, SCIP_R_ROUND_NEAREST, SCIP_R_ROUND_UPWARDS, SCIPABORT, SCIPerrorMessage, scip::Rational::sign(), TRUE, and SCIP_Rational::val.

Referenced by SCIPcertificatePrintMirCut(), and tryAggregateIntVarsExact().

◆ SCIPrationalComputeApproximation()

void SCIPrationalComputeApproximation	(	SCIP_RATIONAL *	res,
		SCIP_RATIONAL *	src,
		SCIP_Longint	maxdenom,
		int	forcegreater )

compute an approximate number with denominator <= maxdenom, closest to src and save it in res using continued fractions

Parameters

res	the resulting rational
src	the rational to approximate
maxdenom	maximal denominator
forcegreater	1 if res >= src should be enforced, -1 if res <= src should be enforced, 0 else

Definition at line 2464 of file rational.cpp.

References assert(), scip::denominator(), FALSE, SCIP_Rational::isfprepresentable, SCIP_Rational::isinf, scip::numerator(), SCIP_ISFPREPRESENTABLE_UNKNOWN, SCIP_Longint, SCIP_LONGINT_MAX, SCIPdebug, SCIPrationalCanonicalize(), SCIPrationalGetReal(), SCIPrationalSetFraction(), SCIPrationalSetReal(), scip::Rational::sign(), and SCIP_Rational::val.

Referenced by rowExactCreateFromRowLimitEncodingLength(), and tightenVarBounds().

◆ SCIPrationalarrayCreate()

SCIP_RETCODE SCIPrationalarrayCreate	(	SCIP_RATIONALARRAY **	rationalarray,
		BMS_BLKMEM *	blkmem )

creates a dynamic array of real values

Parameters

rationalarray	pointer to store the real array
blkmem	block memory

Definition at line 2668 of file rational.cpp.

References assert(), BMSallocBlockMemory, SCIP_ALLOC, and SCIP_OKAY.

Referenced by SCIPrationalarrayCopy(), SCIPsolCreateExact(), SCIPsolCreateOriginalExact(), and SCIPsolMakeExact().

◆ SCIPrationalarrayResize()

SCIP_RETCODE SCIPrationalarrayResize	(	SCIP_RATIONALARRAY *	rationalarray,
		int	newsize )

resizes a dynamic array of real values

creates a dynamic array of real values

Parameters

rationalarray	pointer to store the real array
newsize	new size

Definition at line 2684 of file rational.cpp.

References assert(), SCIP_OKAY, and SCIP_RationalArray::vals.

◆ SCIPrationalarrayCopy()

SCIP_RETCODE SCIPrationalarrayCopy	(	SCIP_RATIONALARRAY **	rationalarray,
		BMS_BLKMEM *	blkmem,
		SCIP_RATIONALARRAY *	sourcerationalarray )

creates a copy of a dynamic array of real values

Parameters

rationalarray	pointer to store the copied real array
blkmem	block memory
sourcerationalarray	dynamic rational array to copy

Definition at line 2697 of file rational.cpp.

References assert(), SCIP_RationalArray::firstidx, SCIP_CALL, SCIP_OKAY, SCIPrationalarrayCreate(), and SCIP_RationalArray::vals.

Referenced by SCIPvalsExactCopy().

◆ SCIPrationalarrayFree()

SCIP_RETCODE SCIPrationalarrayFree	(	SCIP_RATIONALARRAY **	rationalarray,
		BMS_BLKMEM *	blkmem )

frees a dynamic array of real values

Parameters

rationalarray	pointer to the real array
blkmem	block memory

Definition at line 2714 of file rational.cpp.

References assert(), BMSfreeBlockMemory, and SCIP_OKAY.

Referenced by SCIPsolMakeReal(), and valsExactFree().

◆ SCIPrationalarrayGetVal()

void SCIPrationalarrayGetVal	(	SCIP_RATIONALARRAY *	rationalarray,
		int	idx,
		SCIP_RATIONAL *	result )

gets value of entry in dynamic array

Parameters

rationalarray	dynamic rational array
idx	array index to get value for
result	store the result

Definition at line 2729 of file rational.cpp.

References assert(), SCIP_RationalArray::firstidx, result, SCIPrationalSetFraction(), SCIPrationalSetRational(), and SCIP_RationalArray::vals.

Referenced by solGetArrayValExact().

◆ SCIPrationalarraySetVal()

SCIP_RETCODE SCIPrationalarraySetVal	(	SCIP_RATIONALARRAY *	rationalarray,
		int	idx,
		SCIP_RATIONAL *	val )

sets value of entry in dynamic array

Parameters

rationalarray	dynamic rational array
idx	array index to set value for
val	value to set array index to

Definition at line 2746 of file rational.cpp.

References assert(), SCIP_RationalArray::firstidx, r, SCIP_OKAY, and SCIP_RationalArray::vals.

Referenced by SCIPrationalarrayIncVal(), and solSetArrayValExact().

◆ SCIPrationalarrayIncVal()

SCIP_RETCODE SCIPrationalarrayIncVal	(	SCIP_RATIONALARRAY *	rationalarray,
		int	idx,
		SCIP_RATIONAL *	incval )

increases value of entry in dynamic array

Parameters

rationalarray	dynamic rational array
idx	array index to increase value for
incval	value to increase array index

Definition at line 2785 of file rational.cpp.

References assert(), FALSE, SCIP_RationalArray::firstidx, SCIP_Rational::isinf, SCIP_CALL, SCIP_OKAY, SCIPrationalarraySetVal(), SCIPrationalIsZero(), SCIP_Rational::val, and SCIP_RationalArray::vals.

◆ SCIPrationalarrayPrint()

SCIP_RETCODE SCIPrationalarrayPrint ( SCIP_RATIONALARRAY * rationalarray )

prints a rationalarray to std out

Parameters

rationalarray dynamic rational array

Definition at line 2809 of file rational.cpp.

References SCIP_RationalArray::firstidx, SCIP_OKAY, SCIPrationalPrint(), and SCIP_RationalArray::vals.

◆ SCIPrationalarrayGetMinIdx()

int SCIPrationalarrayGetMinIdx ( SCIP_RATIONALARRAY * rationalarray )

returns the minimal index of all stored non-zero elements

Parameters

rationalarray dynamic rational array

Definition at line 2824 of file rational.cpp.

References assert(), and SCIP_RationalArray::firstidx.

◆ SCIPrationalarrayGetMaxIdx()

int SCIPrationalarrayGetMaxIdx ( SCIP_RATIONALARRAY * rationalarray )

returns the maximal index of all stored non-zero elements

Parameters

rationalarray dynamic rational array

Definition at line 2834 of file rational.cpp.

References assert(), SCIP_RationalArray::firstidx, and SCIP_RationalArray::vals.

◆ SCIPrationalChgInfinity()

void SCIPrationalChgInfinity ( SCIP_Real inf )

changes the infinity threshold to new value

Parameters

inf	new infinity value

Definition at line 2844 of file rational.cpp.

References assert(), infinity, SCIP_DEFAULT_INFINITY, SCIP_Real, SCIPABORT, and SCIPerrorMessage.

Referenced by SCIP_DECL_PARAMCHGD().

◆ SCIPrationalGetInfinity()

SCIP_Real SCIPrationalGetInfinity ( void )

return the infinity threshold for rationals

Definition at line 2863 of file rational.cpp.

References infinity, and SCIP_Real.

Referenced by SCIPnodeUpdateLowerboundLP().

Detailed Description

Macros

Functions

Macro Definition Documentation

◆ SCIPrationalDebugMessage

Function Documentation

◆ SCIPrationalCreate()

◆ SCIPrationalCreateBuffer()

◆ SCIPrationalCreateBlock()

◆ SCIPrationalCopy()

◆ SCIPrationalCopyBlock()

◆ SCIPrationalCopyBuffer()

◆ SCIPrationalCreateArray()

◆ SCIPrationalCreateBlockArray()

◆ SCIPrationalCreateBufferArray()

◆ SCIPrationalCopyArray()

◆ SCIPrationalCopyBlockArray()

◆ SCIPrationalCopyBufferArray()

◆ SCIPrationalReallocArray()

◆ SCIPrationalReallocBufferArray()

◆ SCIPrationalReallocBlockArray()

◆ SCIPrationalFree()

◆ SCIPrationalFreeBlock()

◆ SCIPrationalFreeBuffer()

◆ SCIPrationalFreeArray()

◆ SCIPrationalFreeBlockArray()

◆ SCIPrationalFreeBufferArray()

◆ SCIPrationalSetRational()

◆ SCIPrationalSetFraction()

◆ SCIPrationalSetReal()

◆ SCIPrationalSetInfinity()

◆ SCIPrationalSetNegInfinity()

◆ SCIPrationalIsString()

◆ SCIPrationalSetString()

◆ SCIPrationalCreateString()

◆ SCIPstrToRationalValue()

◆ SCIPrationalResetFloatingPointRepresentable()

◆ SCIPrationalCanonicalize()

◆ SCIPrationalCheckInfByValue()

◆ SCIPrationalAdd()

◆ SCIPrationalAddReal()

◆ SCIPrationalDiff()

◆ SCIPrationalDiffReal()

◆ SCIPrationalRelDiff()

◆ SCIPrationalMult()

◆ SCIPrationalMultReal()

◆ SCIPrationalDiv()

◆ SCIPrationalDivReal()

◆ SCIPrationalAddProd()

◆ SCIPrationalAddProdReal()

◆ SCIPrationalDiffProd()

◆ SCIPrationalDiffProdReal()

◆ SCIPrationalNegate()

◆ SCIPrationalAbs()

◆ SCIPrationalInvert()

◆ SCIPrationalMin()

◆ SCIPrationalMax()

◆ SCIPrationalIsEQ()

◆ SCIPrationalIsAbsEQ()

◆ SCIPrationalIsEQReal()

◆ SCIPrationalIsApproxEQReal()

◆ SCIPrationalIsGT()

◆ SCIPrationalIsLT()

◆ SCIPrationalIsGE()

◆ SCIPrationalIsLE()

◆ SCIPrationalIsAbsGT()

◆ SCIPrationalIsGTReal()

◆ SCIPrationalIsLTReal()

◆ SCIPrationalIsGEReal()

◆ SCIPrationalIsLEReal()

◆ SCIPrationalIsZero()

◆ SCIPrationalIsPositive()

◆ SCIPrationalIsNegative()

◆ SCIPrationalIsInfinity()

◆ SCIPrationalIsNegInfinity()

◆ SCIPrationalIsAbsInfinity()

◆ SCIPrationalIsIntegral()

◆ SCIPrationalIsFpRepresentable()

◆ SCIPrationalToString()

◆ SCIPrationalStrLen()