Scippy

SCIP

Solving Constraint Integer Programs

struct_sepa.h
Go to the documentation of this file.
1/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2/* */
3/* This file is part of the program and library */
4/* SCIP --- Solving Constraint Integer Programs */
5/* */
6/* Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB) */
7/* */
8/* Licensed under the Apache License, Version 2.0 (the "License"); */
9/* you may not use this file except in compliance with the License. */
10/* You may obtain a copy of the License at */
11/* */
12/* http://www.apache.org/licenses/LICENSE-2.0 */
13/* */
14/* Unless required by applicable law or agreed to in writing, software */
15/* distributed under the License is distributed on an "AS IS" BASIS, */
16/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
17/* See the License for the specific language governing permissions and */
18/* limitations under the License. */
19/* */
20/* You should have received a copy of the Apache-2.0 license */
21/* along with SCIP; see the file LICENSE. If not visit scipopt.org. */
22/* */
23/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
24
25/**@file struct_sepa.h
26 * @ingroup INTERNALAPI
27 * @brief datastructures for separators
28 * @author Tobias Achterberg
29 */
30
31/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
32
33#ifndef __SCIP_STRUCT_SEPA_H__
34#define __SCIP_STRUCT_SEPA_H__
35
36
37#include "scip/def.h"
38#include "scip/type_clock.h"
39#include "scip/type_sepa.h"
40
41#ifdef __cplusplus
42extern "C" {
43#endif
44
45/** separators data */
47{
48 SCIP_Longint lastsepanode; /**< last (total) node where this separator was called */
49 SCIP_Longint ncalls; /**< number of times, this separator was called */
50 SCIP_Longint nrootcalls; /**< number of times, this separator was called at the root */
51 SCIP_Longint ncutoffs; /**< number of cutoffs found so far by this separator */
52 SCIP_Longint ncutsfound; /**< number of cutting planes found so far by this separator */
53 SCIP_Longint ncutsadded; /**< number of cutting planes added to sepastore equal to
54 * the sum of added cuts via pool and direct.*/
55 SCIP_Longint ncutsaddedviapool; /**< number of cutting planes added from cutpool */
56 SCIP_Longint ncutsaddeddirect; /**< number of cutting planes added directly */
57 SCIP_Longint ncutsappliedviapool;/**< number of cutting planes applied to LP via cutpool */
58 SCIP_Longint ncutsapplieddirect; /**< number of cutting planes applied to LP directly from sepastore */
59 SCIP_Longint nconssfound; /**< number of additional constraints added by this separator */
60 SCIP_Longint ndomredsfound; /**< number of domain reductions found so far by this separator */
61 SCIP_Real maxbounddist; /**< maximal relative distance from current node's dual bound to primal bound compared
62 * to best node's dual bound for applying separation */
63 char* name; /**< name of separator */
64 char* desc; /**< description of separator */
65 SCIP_DECL_SEPACOPY ((*sepacopy)); /**< copy method of separator or NULL if you don't want to copy your plugin into sub-SCIPs */
66 SCIP_DECL_SEPAFREE ((*sepafree)); /**< destructor of separator */
67 SCIP_DECL_SEPAINIT ((*sepainit)); /**< initialize separator */
68 SCIP_DECL_SEPAEXIT ((*sepaexit)); /**< deinitialize separator */
69 SCIP_DECL_SEPAINITSOL ((*sepainitsol)); /**< solving process initialization method of separator */
70 SCIP_DECL_SEPAEXITSOL ((*sepaexitsol)); /**< solving process deinitialization method of separator */
71 SCIP_DECL_SEPAEXECLP ((*sepaexeclp)); /**< LP solution separation method of separator */
72 SCIP_DECL_SEPAEXECSOL ((*sepaexecsol)); /**< arbitrary primal solution separation method of separator */
73 SCIP_SEPADATA* sepadata; /**< separators local data */
74 SCIP_CLOCK* setuptime; /**< time spend for setting up this separator for the next stages */
75 SCIP_CLOCK* sepaclock; /**< separation time */
76 int priority; /**< priority of the separator */
77 int freq; /**< frequency for calling separator */
78 int ncallsatnode; /**< number of times, this separator was called at the current node */
79 int ncutsfoundatnode; /**< number of cutting planes found at the current node */
80 int expbackoff; /**< base for exponential increase of frequency at which the separator is called */
81 SCIP_Bool usessubscip; /**< does the separator use a secondary SCIP instance? */
82 SCIP_Bool delay; /**< should separator be delayed, if other separators found cuts? */
83 SCIP_Bool lpwasdelayed; /**< was the LP separation delayed at the last call? */
84 SCIP_Bool solwasdelayed; /**< was the solution separation delayed at the last call? */
85 SCIP_Bool initialized; /**< is separator initialized? */
86 SCIP_Bool isparentsepa; /**< is separator a parent separator that create cuts of child separators? */
87 struct SCIP_Sepa* parentsepa; /**< pointer to parent separator or NULL */
88};
89
90#ifdef __cplusplus
91}
92#endif
93
94#endif
common defines and data types used in all packages of SCIP
#define SCIP_Longint
Definition: def.h:158
#define SCIP_Bool
Definition: def.h:91
#define SCIP_Real
Definition: def.h:173
SCIP_Longint nrootcalls
Definition: struct_sepa.h:50
int ncallsatnode
Definition: struct_sepa.h:78
SCIP_Longint ncutoffs
Definition: struct_sepa.h:51
int priority
Definition: struct_sepa.h:76
SCIP_Longint ncutsaddedviapool
Definition: struct_sepa.h:55
SCIP_Longint ndomredsfound
Definition: struct_sepa.h:60
SCIP_DECL_SEPACOPY((*sepacopy))
SCIP_Bool lpwasdelayed
Definition: struct_sepa.h:83
SCIP_Longint ncutsfound
Definition: struct_sepa.h:52
SCIP_Longint lastsepanode
Definition: struct_sepa.h:48
struct SCIP_Sepa * parentsepa
Definition: struct_sepa.h:87
SCIP_CLOCK * sepaclock
Definition: struct_sepa.h:75
SCIP_Bool solwasdelayed
Definition: struct_sepa.h:84
SCIP_DECL_SEPAFREE((*sepafree))
SCIP_Bool initialized
Definition: struct_sepa.h:85
SCIP_SEPADATA * sepadata
Definition: struct_sepa.h:73
SCIP_Longint nconssfound
Definition: struct_sepa.h:59
SCIP_Longint ncalls
Definition: struct_sepa.h:49
SCIP_DECL_SEPAEXITSOL((*sepaexitsol))
SCIP_Bool usessubscip
Definition: struct_sepa.h:81
SCIP_Longint ncutsappliedviapool
Definition: struct_sepa.h:57
char * desc
Definition: struct_sepa.h:64
SCIP_CLOCK * setuptime
Definition: struct_sepa.h:74
SCIP_DECL_SEPAEXECSOL((*sepaexecsol))
int expbackoff
Definition: struct_sepa.h:80
SCIP_Bool isparentsepa
Definition: struct_sepa.h:86
SCIP_Longint ncutsadded
Definition: struct_sepa.h:53
SCIP_DECL_SEPAEXECLP((*sepaexeclp))
SCIP_DECL_SEPAINITSOL((*sepainitsol))
SCIP_Longint ncutsapplieddirect
Definition: struct_sepa.h:58
SCIP_DECL_SEPAEXIT((*sepaexit))
int ncutsfoundatnode
Definition: struct_sepa.h:79
SCIP_Bool delay
Definition: struct_sepa.h:82
SCIP_Longint ncutsaddeddirect
Definition: struct_sepa.h:56
SCIP_DECL_SEPAINIT((*sepainit))
char * name
Definition: struct_sepa.h:63
SCIP_Real maxbounddist
Definition: struct_sepa.h:61
type definitions for clocks and timing issues
type definitions for separators
struct SCIP_SepaData SCIP_SEPADATA
Definition: type_sepa.h:52