×
☰
Toggle navigation
SCIP Optimization Suite
SCIP
SoPlex
ZIMPL
UG
GCG
Documentation
SCIP 9.1.1
SCIP 8.1.0
SCIP 7.0.3
SCIP 6.0.2
SCIP 5.0.1
SCIP 4.0.1
SCIP 3.2.1
SCIP
Solving Constraint Integer Programs
conflict.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 conflict.h
26
* @ingroup INTERNALAPI
27
* @brief internal methods for conflict analysis
28
* @author Tobias Achterberg
29
* @author Timo Berthold
30
* @author Stefan Heinz
31
* @author Marc Pfetsch
32
* @author Michael Winkler
33
* @author Jakob Witzig
34
*/
35
36
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
37
38
#ifndef __SCIP_CONFLICT_H__
39
#define __SCIP_CONFLICT_H__
40
41
#include "
conflict_general.h
"
42
#include "
conflict_graphanalysis.h
"
43
#include "
conflict_dualproofanalysis.h
"
44
45
#endif
conflict_dualproofanalysis.h
internal methods for dual proof conflict analysis
conflict_general.h
methods and datastructures for conflict analysis
conflict_graphanalysis.h
methods and datastructures for conflict analysis