Scippy

    SCIP

    Solving Constraint Integer Programs

    type_stat.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-2025 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 type_stat.h
    26 * @brief type definitions for problem statistics
    27 * @author Tobias Achterberg
    28 */
    29
    30/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
    31
    32#ifndef __SCIP_TYPE_STAT_H__
    33#define __SCIP_TYPE_STAT_H__
    34
    35#ifdef __cplusplus
    36extern "C" {
    37#endif
    38
    39/** SCIP solving status */
    41{
    42 SCIP_STATUS_UNKNOWN = 0, /**< the solving status is not yet known */
    43 SCIP_STATUS_OPTIMAL = 1, /**< the problem was solved to optimality, an optimal solution is available */
    44 SCIP_STATUS_INFEASIBLE = 2, /**< the problem was proven to be infeasible */
    45 SCIP_STATUS_UNBOUNDED = 3, /**< the problem was proven to be unbounded */
    46 SCIP_STATUS_INFORUNBD = 4, /**< the problem was proven to be either infeasible or unbounded */
    47 SCIP_STATUS_USERINTERRUPT = 10, /**< the user interrupted the solving process (SIGINT or SCIPinterruptSolve()) */
    48 SCIP_STATUS_TERMINATE = 11, /**< the process received a SIGTERM signal */
    49 SCIP_STATUS_NODELIMIT = 20, /**< the solving process was interrupted because the node limit was reached */
    50 SCIP_STATUS_TOTALNODELIMIT = 21, /**< the solving process was interrupted because the total node limit was
    51 * reached (incl. restarts) */
    52 SCIP_STATUS_STALLNODELIMIT = 22, /**< the solving process was interrupted because the stalling node limit was
    53 * reached (no improvement w.r.t. primal bound) */
    54 SCIP_STATUS_TIMELIMIT = 23, /**< the solving process was interrupted because the time limit was reached */
    55 SCIP_STATUS_MEMLIMIT = 24, /**< the solving process was interrupted because the memory limit was reached */
    56 SCIP_STATUS_GAPLIMIT = 25, /**< the solving process was interrupted because the gap limit was reached */
    57 SCIP_STATUS_PRIMALLIMIT = 26, /**< the solving process was interrupted because the primal limit was reached */
    58 SCIP_STATUS_DUALLIMIT = 27, /**< the solving process was interrupted because the dual limit was reached */
    59 SCIP_STATUS_SOLLIMIT = 28, /**< the solving process was interrupted because the solution limit was reached */
    60 SCIP_STATUS_BESTSOLLIMIT = 29, /**< the solving process was interrupted because the solution improvement limit
    61 * was reached */
    62 SCIP_STATUS_RESTARTLIMIT = 30, /**< the solving process was interrupted because the restart limit was reached */
    63};
    65
    66typedef struct SCIP_Stat SCIP_STAT; /**< problem and runtime specific statistics */
    67
    68#ifdef __cplusplus
    69}
    70#endif
    71
    72#endif
    SCIP_Status
    Definition: type_stat.h:41
    @ SCIP_STATUS_OPTIMAL
    Definition: type_stat.h:43
    @ SCIP_STATUS_TOTALNODELIMIT
    Definition: type_stat.h:50
    @ SCIP_STATUS_BESTSOLLIMIT
    Definition: type_stat.h:60
    @ SCIP_STATUS_SOLLIMIT
    Definition: type_stat.h:59
    @ SCIP_STATUS_UNBOUNDED
    Definition: type_stat.h:45
    @ SCIP_STATUS_UNKNOWN
    Definition: type_stat.h:42
    @ SCIP_STATUS_PRIMALLIMIT
    Definition: type_stat.h:57
    @ SCIP_STATUS_GAPLIMIT
    Definition: type_stat.h:56
    @ SCIP_STATUS_USERINTERRUPT
    Definition: type_stat.h:47
    @ SCIP_STATUS_TERMINATE
    Definition: type_stat.h:48
    @ SCIP_STATUS_INFORUNBD
    Definition: type_stat.h:46
    @ SCIP_STATUS_STALLNODELIMIT
    Definition: type_stat.h:52
    @ SCIP_STATUS_TIMELIMIT
    Definition: type_stat.h:54
    @ SCIP_STATUS_INFEASIBLE
    Definition: type_stat.h:44
    @ SCIP_STATUS_NODELIMIT
    Definition: type_stat.h:49
    @ SCIP_STATUS_DUALLIMIT
    Definition: type_stat.h:58
    @ SCIP_STATUS_MEMLIMIT
    Definition: type_stat.h:55
    @ SCIP_STATUS_RESTARTLIMIT
    Definition: type_stat.h:62
    enum SCIP_Status SCIP_STATUS
    Definition: type_stat.h:64