Scippy

SCIP

Solving Constraint Integer Programs

type_rational.h File Reference

Detailed Description

type definitions for rational numbers

Author
Leon Eifler

Definition in file type_rational.h.

Go to the source code of this file.

Typedefs

typedef struct SCIP_Rational SCIP_RATIONAL
 
typedef struct SCIP_RationalArray SCIP_RATIONALARRAY
 
typedef enum SCIP_IsFpRepresentable SCIP_ISFPREPRESENTABLE
 
typedef enum SCIP_RoundModeRational SCIP_ROUNDMODE_RAT
 

Enumerations

enum  SCIP_IsFpRepresentable {
  SCIP_ISFPREPRESENTABLE_UNKNOWN = 0 ,
  SCIP_ISFPREPRESENTABLE_TRUE = 1 ,
  SCIP_ISFPREPRESENTABLE_FALSE = 2
}
 
enum  SCIP_RoundModeRational {
  SCIP_R_ROUND_DOWNWARDS = 0 ,
  SCIP_R_ROUND_UPWARDS = 1 ,
  SCIP_R_ROUND_NEAREST = 2
}
 

Typedef Documentation

◆ SCIP_RATIONAL

typedef struct SCIP_Rational SCIP_RATIONAL

type used for rational numbers

Definition at line 40 of file type_rational.h.

◆ SCIP_RATIONALARRAY

dynamic array for storing SCIP_Real values

Definition at line 43 of file type_rational.h.

◆ SCIP_ISFPREPRESENTABLE

Definition at line 52 of file type_rational.h.

◆ SCIP_ROUNDMODE_RAT

Definition at line 61 of file type_rational.h.

Enumeration Type Documentation

◆ SCIP_IsFpRepresentable

information if a rational is exactly representable as a floating point number

Enumerator
SCIP_ISFPREPRESENTABLE_UNKNOWN 

representability is unknown

SCIP_ISFPREPRESENTABLE_TRUE 

is representable

SCIP_ISFPREPRESENTABLE_FALSE 

is not representable

Definition at line 46 of file type_rational.h.

◆ SCIP_RoundModeRational

defines the possible rounding direction for a rational number, when converting to a double

Enumerator
SCIP_R_ROUND_DOWNWARDS 

always round to nearest smaller double

SCIP_R_ROUND_UPWARDS 

always round to nearest larger double

SCIP_R_ROUND_NEAREST 

always round to nearest double

Definition at line 55 of file type_rational.h.