Scippy

UG

Ubiquity Generator framework

scipParaInstance.cpp File Reference
#include <cstdlib>
#include <cassert>
#include <cstring>
#include <cctype>
#include <unistd.h>
#include "ug/paraDef.h"
#include "ug_bb/bbParaInstance.h"
#include "scip/scipdefplugins.h"
#include "scip/reader_lp.h"
#include "scip/cons_knapsack.h"
#include "scip/cons_linear.h"
#include "scip/cons_logicor.h"
#include "scip/cons_setppc.h"
#include "scip/cons_varbound.h"
#include "scip/cons_bounddisjunction.h"
#include "scip/cons_sos1.h"
#include "scip/cons_sos2.h"
#include "scip/pub_misc.h"
#include "scipParaInstance.h"

Go to the source code of this file.

Functions

static SCIP_DECL_HASHGETKEY (hashGetKeyVar)
 
static SCIP_DECL_HASHKEYEQ (hashKeyEqVar)
 
static SCIP_DECL_HASHKEYVAL (hashKeyValVar)
 

Variables

static const char * PRESOLVED_INSTANCE = "presolved.cip"
 

Function Documentation

◆ SCIP_DECL_HASHGETKEY()

static SCIP_DECL_HASHGETKEY ( hashGetKeyVar  )
static

hash key retrieval function for variables

Definition at line 69 of file scipParaInstance.cpp.

◆ SCIP_DECL_HASHKEYEQ()

static SCIP_DECL_HASHKEYEQ ( hashKeyEqVar  )
static

returns TRUE iff the indices of both variables are equal

Definition at line 76 of file scipParaInstance.cpp.

◆ SCIP_DECL_HASHKEYVAL()

Variable Documentation

◆ PRESOLVED_INSTANCE

const char* PRESOLVED_INSTANCE = "presolved.cip"
static

Definition at line 65 of file scipParaInstance.cpp.

Referenced by ScipParaInstance::createProblem(), and SCIP_DECL_HASHKEYVAL().