Frobby  0.9.0
SliceParameters.h
Go to the documentation of this file.
1 /* Frobby: Software for monomial ideal computations.
2  Copyright (C) 2007 Bjarke Hammersholt Roune (www.broune.com)
3 
4  This program is free software; you can redistribute it and/or modify
5  it under the terms of the GNU General Public License as published by
6  the Free Software Foundation; either version 2 of the License, or
7  (at your option) any later version.
8 
9  This program is distributed in the hope that it will be useful,
10  but WITHOUT ANY WARRANTY; without even the implied warranty of
11  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12  GNU General Public License for more details.
13 
14  You should have received a copy of the GNU General Public License
15  along with this program. If not, see http://www.gnu.org/licenses/.
16 */
17 #ifndef SLICE_PARAMETERS_GUARD
18 #define SLICE_PARAMETERS_GUARD
19 
20 #include "ParameterGroup.h"
21 #include "BoolParameter.h"
22 #include "StringParameter.h"
23 
24 class SliceFacade;
25 class BigattiFacade;
26 
35  public:
44  SliceParameters(bool exposeBoundParams = false,
45  bool exposeIndependenceParam = true,
46  bool supportBigattiAlgorithm = false);
47 
52  void setUseIndependence(bool value);
53 
58  void setSplit(const string& split);
59 
62  void validateSplit(bool allowLabel, bool allowDegree);
63 
66  void validateSplitHilbert();
67 
71  bool getUseBoundElimination() const;
72 
76  bool getUseBoundSimplification() const;
77 
79  bool getCanonical() const;
80 
82  const string& getSplit() const;
83 
85  bool getPrintDebug() const;
86 
88  bool getPrintStatistics() const;
89 
90  private:
93 
104 
106 };
107 
108 #endif
SliceParameters::SliceParameters
SliceParameters(bool exposeBoundParams=false, bool exposeIndependenceParam=true, bool supportBigattiAlgorithm=false)
Construct the parameters with default values.
Definition: SliceParameters.cpp:25
SliceParameters::_useBoundSimplification
BoolParameter _useBoundSimplification
Definition: SliceParameters.h:97
SliceParameters::_printDebug
BoolParameter _printDebug
Definition: SliceParameters.h:94
SliceParameters::_useSimplification
BoolParameter _useSimplification
Definition: SliceParameters.h:99
SliceParameters::_split
StringParameter _split
Definition: SliceParameters.h:105
SliceParameters::validateSplitHilbert
void validateSplitHilbert()
Checks that the Bigatti Et.al.
Definition: SliceParameters.cpp:181
SliceParameters::_useIndependence
BoolParameter _useIndependence
Definition: SliceParameters.h:98
SliceParameters::getPrintStatistics
bool getPrintStatistics() const
Returns the value of the stats option.
Definition: SliceParameters.cpp:194
SliceParameters::_useBigattiGeneric
BoolParameter _useBigattiGeneric
Definition: SliceParameters.h:102
BoolParameter.h
BigattiFacade
A facade for computing Hilbert series of monomial ideals using the divide-and-conquer algorithm by Bi...
Definition: BigattiFacade.h:32
BoolParameter
Definition: BoolParameter.h:24
SliceParameters::getUseBoundSimplification
bool getUseBoundSimplification() const
Get the value of the bound simplification option.
Definition: SliceParameters.cpp:143
SliceParameters::getPrintDebug
bool getPrintDebug() const
Returns the value of the debug option.
Definition: SliceParameters.cpp:190
ParameterGroup
Definition: ParameterGroup.h:23
SliceParameters::getUseBoundElimination
bool getUseBoundElimination() const
Get the value of the bound elimination option.
Definition: SliceParameters.cpp:139
StringParameter
Definition: StringParameter.h:24
SliceParameters
This class represents the parameters associated to the Slice Algorithm and the similar Bigatti et....
Definition: SliceParameters.h:34
SliceParameters::_exposeIndependenceParam
bool _exposeIndependenceParam
Definition: SliceParameters.h:92
SliceParameters::_useBoundElimination
BoolParameter _useBoundElimination
Definition: SliceParameters.h:96
SliceParameters::validateSplit
void validateSplit(bool allowLabel, bool allowDegree)
Checks that the slice split selection strategy specified is valid.
Definition: SliceParameters.cpp:155
SliceParameters::_printStatistics
BoolParameter _printStatistics
Definition: SliceParameters.h:95
SliceParameters::_exposeBoundParam
bool _exposeBoundParam
Definition: SliceParameters.h:91
SliceParameters::_minimal
BoolParameter _minimal
Definition: SliceParameters.h:100
SliceParameters::setSplit
void setSplit(const string &split)
Set the value of the option for choosing the split selection strategy.
Definition: SliceParameters.cpp:135
StringParameter.h
SliceParameters::getCanonical
bool getCanonical() const
Get the value of the canonical option.
Definition: SliceParameters.cpp:147
SliceParameters::setUseIndependence
void setUseIndependence(bool value)
Set the value of the independence split option.
Definition: SliceParameters.cpp:131
SliceParameters::getSplit
const string & getSplit() const
Get the value of the split option.
Definition: SliceParameters.cpp:151
ParameterGroup.h
SliceParameters::_canonical
BoolParameter _canonical
Definition: SliceParameters.h:101
SliceFacade
A facade for operations on monomial ideals using the Slice Algorithm.
Definition: SliceFacade.h:44
SliceParameters::_widenPivot
BoolParameter _widenPivot
Definition: SliceParameters.h:103