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
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
/* Frobby: Software for monomial ideal computations.
Copyright (C) 2009 University of Aarhus
Contact Bjarke Hammersholt Roune for license information (www.broune.com)
This program 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 2 of the License, or
(at your option) any later version.
This program 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 this program. If not, see http://www.gnu.org/licenses/.
*/
#include "stdinc.h"
#include "SliceParams.h"
#include "SplitStrategy.h"
#include "error.h"
#include "CliParams.h"
SliceParams::SliceParams():
_split("median"),
_useIndependence(true),
_useBoundElimination(true),
_useBoundSimplification(true) {
}
SliceParams::SliceParams(const CliParams& cli):
_split("median"),
_useIndependence(true),
_useBoundElimination(true),
_useBoundSimplification(true) {
extractCliValues(*this, cli);
}
namespace {
const char* SplitParamName = "split";
const char* UseIndependenceName = "independence";
const char* UseBoundElimination = "bound";
const char* UseBoundSimplification = "boundSimplify";
}
void addSliceParams(CliParams& params) {
}
void extractCliValues(SliceParams& slice, const CliParams& cli) {
extractCliValues(static_cast<SliceLikeParams&>(slice), cli);
slice.setSplit(getString(cli, SplitParamName));
if (cli.hasParam(UseIndependenceName))
slice.useIndependenceSplits(getBool(cli, UseIndependenceName));
if (cli.hasParam(UseBoundElimination))
slice.useBoundElimination(getBool(cli, UseBoundElimination));
if (cli.hasParam(UseBoundSimplification))
slice.useBoundElimination(getBool(cli, UseBoundSimplification));
}
void validateSplit(const SliceParams& params,
bool allowLabel,
bool allowDegree) {
auto_ptr<SplitStrategy>
split(SplitStrategy::createStrategy(params.getSplit()));
ASSERT(split.get() != 0)
if (!allowLabel && split->isLabelSplit())
reportError("Label split strategy is not appropriate "
"in this context.");
// TODO: implement degree when there is no grading too, so that it
// is always appropriate.
if (!allowDegree && params.getSplit() == "degree") {
reportError("The split strategy degree is not appropriate "
"in this context.");
}
// TODO: remove the deprecated frob.
if (!allowDegree && params.getSplit() == "frob") {
reportError("The split strategy frob is not appropriate "
"in this context.");
}
}
|
