Scippy

SCIP

Solving Constraint Integer Programs

Functions | Variables
rational.cpp File Reference
Implementation files (.c files) » Other implementation files of SCIP

Detailed Description

wrapper for rational number arithmetic

Author
Leon Eifler
Dominik Kamp

Definition in file rational.cpp.

#include "blockmemshell/memory.h"
#include "scip/rational.h"
#include "scip/rationalgmp.h"
#include "scip/struct_rational.h"
#include "scip/multiprecision.hpp"
#include "scip/type_message.h"
#include "scip/type_retcode.h"
#include "scip/type_rational.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/intervalarith.h"
#include "scip/set.h"
#include <iostream>
#include <time.h>
#include <stdlib.h>
#include <numeric>
#include <string.h>
#include <algorithm>

Go to the source code of this file.

Functions

std::ostream & operator<< (std::ostream &os, SCIP_RATIONAL const &r)
 
SCIP_RETCODE SCIPrationalCreate (SCIP_RATIONAL **rational)
 
SCIP_RETCODE SCIPrationalCreateBlock (BMS_BLKMEM *blkmem, SCIP_RATIONAL **rational)
 
SCIP_RETCODE SCIPrationalCreateBuffer (BMS_BUFMEM *bufmem, 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 SCIPrationalCanonicalize (SCIP_RATIONAL *rational)
 
void SCIPrationalCheckInfByValue (SCIP_RATIONAL *rational)
 
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)
 
void SCIPrationalResetFloatingPointRepresentable (SCIP_RATIONAL *rat)
 
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 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)
 
static void SCIPrationalVPrintf (const char *formatstr, va_list ap)
 
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)
 

Variables

static SCIP_Real infinity = SCIP_DEFAULT_INFINITY
 

Function Documentation

◆ operator<<()

std::ostream & operator<< ( std::ostream &  os,
SCIP_RATIONAL const &  r 
)

print SCIP_RATIONAL to output stream

Parameters
osoutput stream
rrational to print

Definition at line 68 of file rational.cpp.

References r.

◆ SCIPrationalVPrintf()

static void SCIPrationalVPrintf ( const char *  formatstr,
va_list  ap 
)
static

printf extension for rationals (not supporting all format options)

Parameters
formatstrformat string like in printf() function
apvariable argument list

Definition at line 1845 of file rational.cpp.

References SCIP_Longint, SCIP_Real, SCIPrationalPrint(), and va_copy.

Referenced by SCIPrationalPrintDebugMessage(), and SCIPrationalPrintf().

Variable Documentation

◆ infinity

SCIP_Real infinity = SCIP_DEFAULT_INFINITY
static

Definition at line 86 of file rational.cpp.

Referenced by SCIPrationalAddReal(), SCIPrationalCheckInfByValue(), SCIPrationalChgInfinity(), SCIPrationalDivReal(), SCIPrationalGetInfinity(), SCIPrationalGetReal(), SCIPrationalIsEQReal(), SCIPrationalIsGTReal(), SCIPrationalIsLTReal(), SCIPrationalMultReal(), and SCIPrationalRoundReal().