Scippy

    SCIP

    Solving Constraint Integer Programs

    type_reader.h File Reference

    Detailed Description

    type definitions for input file readers

    Author
    Tobias Achterberg

    Definition in file type_reader.h.

    #include "scip/def.h"
    #include "scip/type_rational.h"
    #include "scip/type_cons.h"
    #include "scip/type_retcode.h"
    #include "scip/type_result.h"
    #include "scip/type_scip.h"
    #include "scip/type_var.h"

    Go to the source code of this file.

    Macros

    #define SCIP_DECL_READERCOPY(x)   SCIP_RETCODE x (SCIP* scip, SCIP_READER* reader)
     
    #define SCIP_DECL_READERFREE(x)   SCIP_RETCODE x (SCIP* scip, SCIP_READER* reader)
     
    #define SCIP_DECL_READERREAD(x)   SCIP_RETCODE x (SCIP* scip, SCIP_READER* reader, const char* filename, SCIP_RESULT* result)
     
    #define SCIP_DECL_READERWRITE(x)
     

    Typedefs

    typedef struct SCIP_Reader SCIP_READER
     
    typedef struct SCIP_ReaderData SCIP_READERDATA
     

    Macro Definition Documentation

    ◆ SCIP_DECL_READERCOPY

    #define SCIP_DECL_READERCOPY (   x)    SCIP_RETCODE x (SCIP* scip, SCIP_READER* reader)

    copy method for reader plugins (called when SCIP copies plugins)

    input:

    • scip : SCIP main data structure
    • reader : the reader itself

    Definition at line 63 of file type_reader.h.

    ◆ SCIP_DECL_READERFREE

    #define SCIP_DECL_READERFREE (   x)    SCIP_RETCODE x (SCIP* scip, SCIP_READER* reader)

    destructor of reader to free user data (called when SCIP is exiting)

    input:

    • scip : SCIP main data structure
    • reader : the reader itself

    Definition at line 72 of file type_reader.h.

    ◆ SCIP_DECL_READERREAD

    #define SCIP_DECL_READERREAD (   x)    SCIP_RETCODE x (SCIP* scip, SCIP_READER* reader, const char* filename, SCIP_RESULT* result)

    problem reading method of reader

    input:

    • scip : SCIP main data structure
    • reader : the reader itself
    • filename : full path and name of file to read, or NULL if stdin should be used
    • result : pointer to store the result of the file reading call

    possible return values for *result:

    • SCIP_SUCCESS : the reader read the file correctly and created an appropriate problem
    • SCIP_DIDNOTRUN : the reader is not responsible for given input file

    If the reader detected an error in the input file, it should return with RETCODE SCIP_READERROR or SCIP_NOFILE.

    Definition at line 88 of file type_reader.h.

    ◆ SCIP_DECL_READERWRITE

    #define SCIP_DECL_READERWRITE (   x)
    Value:
    SCIP_RETCODE x (SCIP* scip, SCIP_READER* reader, FILE* file, \
    const char* filename, const char* name, SCIP_PROBDATA* probdata, SCIP_Bool transformed, \
    SCIP_OBJSENSE objsense, SCIP_Real objoffset, SCIP_Real objscale, \
    SCIP_RATIONAL* objoffsetexact, SCIP_RATIONAL* objscaleexact, \
    SCIP_VAR** vars, int nvars, int nbinvars, int nintvars, int nimplvars, int ncontvars, \
    SCIP_VAR** fixedvars, int nfixedvars, int startnvars, \
    SCIP_CONS** conss, int nconss, int maxnconss, int startnconss, \
    SCIP_Bool genericnames, SCIP_RESULT* result)
    SCIP_VAR ** x
    Definition: circlepacking.c:63
    #define SCIP_Bool
    Definition: def.h:91
    #define SCIP_Real
    Definition: def.h:156
    struct SCIP_ProbData SCIP_PROBDATA
    Definition: type_prob.h:53
    enum SCIP_Objsense SCIP_OBJSENSE
    Definition: type_prob.h:50
    enum SCIP_Result SCIP_RESULT
    Definition: type_result.h:61
    enum SCIP_Retcode SCIP_RETCODE
    Definition: type_retcode.h:63

    problem writing method of reader; NOTE: if the parameter "genericnames" is TRUE, then SCIP already set all variable and constraint names to generic names; therefore, this method should always use SCIPvarGetName() and SCIPconsGetName();

    input:

    • scip : SCIP main data structure
    • reader : the reader itself
    • file : output file, or NULL if standard output should be used
    • filename : name of output file, if available, otherwise NULL
    • name : problem name
    • probdata : user problem data set by the reader
    • transformed : TRUE iff problem is the transformed problem
    • objsense : objective sense
    • objoffset : objective offset from bound shifting and fixing
    • objscale : scalar applied to objective function; external objective value is extobj = objsense * objscale * (intobj + objoffset)
    • objoffsetexact : exact objective offset from bound shifting and fixing
    • objscaleexact : exact scalar applied to objective function; external objective value is extobjexact = objsense * objscaleexact * (intobjexact + objoffsetexact)
    • vars : array with active variables ordered binary, integer, implicit, continuous
    • nvars : number of active variables in the problem
    • nbinvars : number of binary variables
    • nintvars : number of general integer variables
    • nimplvars : number of implicit integer variables
    • ncontvars; : number of continuous variables
    • fixedvars : array with fixed and aggregated variables
    • nfixedvars : number of fixed and aggregated variables in the problem
    • startnvars : number of variables existing when problem solving started
    • conss : array with constraints of the problem
    • nconss : number of constraints in the problem
    • maxnconss : maximum number of constraints existing at the same time
    • startnconss : number of constraints existing when problem solving started
    • genericnames : using generic variable and constraint names?
    • result : pointer to store the result of the file reading call

    possible return values for *result:

    • SCIP_SUCCESS : the reader wrote the file correctly
    • SCIP_DIDNOTRUN : the reader is not responsible for given input file

    If the reader detected an error while writing the output file, it should return with RETCODE SCIP_WRITEERROR

    Definition at line 131 of file type_reader.h.

    Typedef Documentation

    ◆ SCIP_READER

    typedef struct SCIP_Reader SCIP_READER

    reader data structure

    Definition at line 53 of file type_reader.h.

    ◆ SCIP_READERDATA

    typedef struct SCIP_ReaderData SCIP_READERDATA

    reader specific data

    Definition at line 54 of file type_reader.h.