Scippy

SCIP

Solving Constraint Integer Programs

Functions
reader_fzn.h File Reference
File Readers

Detailed Description

FlatZinc file reader.

Author
Timo Berthold
Stefan Heinz

FlatZinc is a low-level solver input language that is the target language for MiniZinc. It is designed to be easy to translate into the form required by a solver. For more details see http://www.g12.cs.mu.oz.au/minizinc/ .

Definition in file reader_fzn.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeReaderFzn (SCIP *scip)
 
SCIP_RETCODE SCIPprintSolReaderFzn (SCIP *scip, SCIP_SOL *sol, FILE *file)
 

Function Documentation

SCIP_RETCODE SCIPincludeReaderFzn ( SCIP *  scip)

includes the FlatZinc file reader into SCIP

includes the fzn file reader in SCIP

Parameters
scipSCIP data structure

Definition at line 4903 of file reader_fzn.c.

References READER_DESC, READER_EXTENSION, READER_NAME, readerdataCreate(), SCIP_CALL, SCIP_OKAY, SCIPincludeReaderBasic(), SCIPsetReaderCopy(), SCIPsetReaderFree(), SCIPsetReaderRead(), and SCIPsetReaderWrite().

Referenced by SCIP_DECL_READERCOPY(), and SCIPincludeDefaultPlugins().

SCIP_RETCODE SCIPprintSolReaderFzn ( SCIP *  scip,
SCIP_SOL *  sol,
FILE *  file 
)

print given solution in Flatzinc format w.r.t. the output annotation

Parameters
scipSCIP data structure
solprimal solution, or NULL for current LP/pseudo solution
fileoutput file (or NULL for standard output)

Definition at line 4926 of file reader_fzn.c.

References NULL, printValue(), READER_NAME, SCIP_OKAY, SCIP_Real, SCIPfindReader(), SCIPgetSolVal(), SCIPinfoMessage(), SCIPreaderGetData(), and SCIPsortPtr().