Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

implics presolver

Author
Tobias Achterberg

Definition in file presol_implics.c.

#include "blockmemshell/memory.h"
#include "scip/presol_implics.h"
#include "scip/pub_message.h"
#include "scip/pub_presol.h"
#include "scip/pub_var.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_presol.h"
#include "scip/scip_prob.h"
#include "scip/scip_var.h"
#include <string.h>

Go to the source code of this file.

Macros

#define PRESOL_NAME   "implics"
 
#define PRESOL_DESC   "implication graph aggregator"
 
#define PRESOL_PRIORITY   -10000
 
#define PRESOL_MAXROUNDS   -1
 
#define PRESOL_TIMING   SCIP_PRESOLTIMING_MEDIUM /* timing of the presolver (fast, medium, or exhaustive) */
 

Functions

static SCIP_DECL_PRESOLCOPY (presolCopyImplics)
 
static SCIP_DECL_PRESOLEXEC (presolExecImplics)
 
SCIP_RETCODE SCIPincludePresolImplics (SCIP *scip)
 

Macro Definition Documentation

◆ PRESOL_NAME

#define PRESOL_NAME   "implics"

Definition at line 46 of file presol_implics.c.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludePresolImplics().

◆ PRESOL_DESC

#define PRESOL_DESC   "implication graph aggregator"

Definition at line 47 of file presol_implics.c.

Referenced by SCIPincludePresolImplics().

◆ PRESOL_PRIORITY

#define PRESOL_PRIORITY   -10000

priority of the presolver (>= 0: before, < 0: after constraint handlers)

Definition at line 48 of file presol_implics.c.

Referenced by SCIPincludePresolImplics().

◆ PRESOL_MAXROUNDS

#define PRESOL_MAXROUNDS   -1

maximal number of presolving rounds the presolver participates in (-1: no limit)

Definition at line 49 of file presol_implics.c.

Referenced by SCIPincludePresolImplics().

◆ PRESOL_TIMING

#define PRESOL_TIMING   SCIP_PRESOLTIMING_MEDIUM /* timing of the presolver (fast, medium, or exhaustive) */

Definition at line 50 of file presol_implics.c.

Referenced by SCIPincludePresolImplics().

Function Documentation

◆ SCIP_DECL_PRESOLCOPY()

static SCIP_DECL_PRESOLCOPY ( presolCopyImplics  )
static

copy method for constraint handler plugins (called when SCIP copies plugins)

Definition at line 59 of file presol_implics.c.

References NULL, PRESOL_NAME, SCIP_CALL, SCIP_OKAY, SCIPincludePresolImplics(), and SCIPpresolGetName().

◆ SCIP_DECL_PRESOLEXEC()