1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
/******************************************************************************\
* This file is part of packup. *
* *
* packup is free software: you can redistribute it and/or modify *
* it under the terms of the GNU General Public License as published by *
* the Free Software Foundation, either version 3 of the License, or *
* (at your option) any later version. *
* *
* packup is distributed in the hope that it will be useful, *
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
* GNU General Public License for more details. *
* *
* You should have received a copy of the GNU General Public License *
* along with packup. If not, see <http://www.gnu.org/licenses/>. *
\******************************************************************************/
/*
* File: Options.hh
* Author: mikolas
*
* Created on April 23, 2011, 4:23 PM
* Copyright (C) 2011, Mikolas Janota
*/
#ifndef OPTIONS_HH
#define OPTIONS_HH
#include <getopt.h>
#include <assert.h>
#include <string>
using std::string;
class Options {
public:
Options();
virtual ~Options();
bool parse(int count,char** arguments);
int get_solving_disabled() const { return solving_disabled; }
string get_external_solver() const { return external_solver; }
int get_paranoid() const { return paranoid; }
int get_trendy() const { return trendy; }
string get_solution_check() const { return solution_check; }
string get_mapping_file() const { return mapping_file; }
string get_user_criterion() const { return user_criterion; }
string get_input_file_name() const { return input_file_name; }
string get_output_file_name() const { return output_file_name; }
string get_multiplication_string() const { return multiplication_string; }
string get_temporary_directory() const { return temporary_directory; }
int get_leave_temporary_files() const { return leave_temporary_files; }
int get_max_solver() const { return max_solver; }
int get_help() const { return help; }
private:
int help;
int solving_disabled;
string external_solver;
int paranoid;
int trendy;
string solution_check;
string mapping_file;
string user_criterion;
string input_file_name;
string output_file_name;
string multiplication_string;
int leave_temporary_files;
string temporary_directory;
int max_solver;
};
#endif /* OPTIONS_HH */
|
