Scippy

UG

Ubiquity Generator framework

scipParaInstance.cpp File Reference

ParaInstance extenstion for SCIP solver. More...

#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"
 

Detailed Description

ParaInstance extenstion for SCIP solver.

Author
Yuji Shinano

Definition in file scipParaInstance.cpp.

Function Documentation

◆ SCIP_DECL_HASHGETKEY()

static SCIP_DECL_HASHGETKEY ( hashGetKeyVar  )
static

hash key retrieval function for variables

Definition at line 68 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 75 of file scipParaInstance.cpp.

◆ SCIP_DECL_HASHKEYVAL()

static SCIP_DECL_HASHKEYVAL ( hashKeyValVar  )
static

returns the hash value of the key

Definition at line 84 of file scipParaInstance.cpp.

Variable Documentation

◆ PRESOLVED_INSTANCE

const char* PRESOLVED_INSTANCE = "presolved.cip"
static