Dip
0.92.4
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
tmp
Dip-0.92.4
Dip
examples
GAP
GAP_DecompParam.h
Go to the documentation of this file.
1
//===========================================================================//
2
// This file is part of the Decomp Solver Framework. //
3
// //
4
// Decomp is distributed under the Common Public License as part of the //
5
// COIN-OR repository (http://www.coin-or.org). //
6
// //
7
// Authors: Matthew Galati, SAS Institute Inc. (matthew.galati@sas.com) //
8
// Ted Ralphs, Lehigh University (ted@lehigh.edu) //
9
// Jiadong Wang, Lehigh University (jiw408@lehigh.edu) //
10
// //
11
// Copyright (C) 2002-2019, Lehigh University, Matthew Galati, and Ted Ralphs//
12
// All Rights Reserved. //
13
//===========================================================================//
14
15
#ifndef GAP_DECOMP_PARAM_INCLUDED
16
#define GAP_DECOMP_PARAM_INCLUDED
17
18
//===========================================================================//
19
#include "UtilParameters.h"
20
21
//===========================================================================//
29
//===========================================================================//
30
class
GAP_DecompParam
{
31
public
:
32
int
LogLevel
;
33
string
DataDir
;
34
string
Instance
;
35
bool
UsePisinger
;
36
37
public
:
38
void
getSettings
(
UtilParameters
& utilParam) {
39
static
const
char
* common =
"GAP"
;
40
LogLevel
= utilParam.
GetSetting
(
"LogLevel"
, 0, common);
41
DataDir
= utilParam.
GetSetting
(
"DataDir"
,
""
, common);
42
Instance
= utilParam.
GetSetting
(
"Instance"
,
""
, common);
43
UsePisinger
= utilParam.
GetSetting
(
"UsePisinger"
,
true
, common);
44
}
45
46
void
dumpSettings
(ostream* os = &cout) {
47
static
const
char
* common =
"GAP"
;
48
(*os) <<
"\n=====================================================\n"
49
<<
"GAP_DECOMP PARAMETER SETTINGS \n"
;
50
(*os) << common <<
": LogLevel : "
<<
LogLevel
<< endl;
51
(*os) << common <<
": DataDir : "
<<
DataDir
<< endl;
52
(*os) << common <<
": Instance : "
<<
Instance
<< endl;
53
(*os) << common <<
": UsePisinger : "
<<
UsePisinger
<< endl;
54
(*os) <<
"=====================================================\n"
;
55
}
56
57
public
:
58
GAP_DecompParam
():
59
LogLevel
(0 ),
60
DataDir
(
""
),
61
Instance
(
""
),
62
UsePisinger
(true) {
63
};
64
~GAP_DecompParam
() {};
65
};
66
67
#endif
UtilParameters
Definition:
UtilParameters.h:30
GAP_DecompParam::GAP_DecompParam
GAP_DecompParam()
Definition:
GAP_DecompParam.h:58
GAP_DecompParam::Instance
string Instance
Definition:
GAP_DecompParam.h:34
UtilParameters::GetSetting
string GetSetting(const char *name, const char *defaultValue, const char *section=NULL)
GAP_DecompParam::UsePisinger
bool UsePisinger
Definition:
GAP_DecompParam.h:35
GAP_DecompParam
Definition:
GAP_DecompParam.h:30
GAP_DecompParam::~GAP_DecompParam
~GAP_DecompParam()
Definition:
GAP_DecompParam.h:64
GAP_DecompParam::LogLevel
int LogLevel
Definition:
GAP_DecompParam.h:32
GAP_DecompParam::dumpSettings
void dumpSettings(ostream *os=&cout)
Definition:
GAP_DecompParam.h:46
GAP_DecompParam::DataDir
string DataDir
Definition:
GAP_DecompParam.h:33
GAP_DecompParam::getSettings
void getSettings(UtilParameters &utilParam)
Definition:
GAP_DecompParam.h:38
Generated by
1.8.5