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.