Toggle navigation
SCIP Optimization Suite
SCIP
SoPlex
ZIMPL
UG
GCG
Documentation
SCIP 9.2.0
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
reader_fzn.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-2017 Konrad-Zuse-Zentrum */
7
/* fuer Informationstechnik Berlin */
8
/* */
9
/* SCIP is distributed under the terms of the ZIB Academic License. */
10
/* */
11
/* You should have received a copy of the ZIB Academic License */
12
/* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13
/* */
14
/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15
16
/**@file reader_fzn.h
17
* @ingroup FILEREADERS
18
* @brief FlatZinc file reader
19
* @author Timo Berthold
20
* @author Stefan Heinz
21
*
22
* FlatZinc is a low-level solver input language that is the target language for MiniZinc. It is designed to be easy to
23
* translate into the form required by a solver. For more details see http://www.g12.cs.mu.oz.au/minizinc/ .
24
*/
25
26
/*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
27
28
#ifndef __READER_FZN_H__
29
#define __READER_FZN_H__
30
31
32
#include "
scip/scip.h
"
33
34
#ifdef __cplusplus
35
extern
"C"
{
36
#endif
37
38
/** includes the FlatZinc file reader into SCIP
39
*
40
* @ingroup FileReaderIncludes
41
*/
42
extern
43
SCIP_RETCODE
SCIPincludeReaderFzn
(
44
SCIP
*
scip
/**< SCIP data structure */
45
);
46
47
/**@addtogroup FILEREADERS
48
*
49
* @{
50
*/
51
52
/** print given solution in Flatzinc format w.r.t. the output annotation */
53
extern
54
SCIP_RETCODE
SCIPprintSolReaderFzn
(
55
SCIP
*
scip
,
/**< SCIP data structure */
56
SCIP_SOL
* sol,
/**< primal solution, or NULL for current LP/pseudo solution */
57
FILE* file
/**< output file (or NULL for standard output) */
58
);
59
60
/* @} */
61
62
#ifdef __cplusplus
63
}
64
#endif
65
66
#endif
SCIPprintSolReaderFzn
SCIP_RETCODE SCIPprintSolReaderFzn(SCIP *scip, SCIP_SOL *sol, FILE *file)
Definition:
reader_fzn.c:4947
Scip
Definition:
struct_scip.h:58
SCIPincludeReaderFzn
SCIP_RETCODE SCIPincludeReaderFzn(SCIP *scip)
Definition:
reader_fzn.c:4924
SCIP_RETCODE
enum SCIP_Retcode SCIP_RETCODE
Definition:
type_retcode.h:53
SCIP_Sol
Definition:
struct_sol.h:51
scip
Definition:
objbranchrule.h:33
scip.h
SCIP callable library.