SliceParameters.h
Go to the documentation of this file.
/* Frobby: Software for monomial ideal computations.
Copyright (C) 2007 Bjarke Hammersholt Roune (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/.
*/
#ifndef SLICE_PARAMETERS_GUARD
#define SLICE_PARAMETERS_GUARD
#include "ParameterGroup.h"
#include "BoolParameter.h"
#include "StringParameter.h"
class SliceFacade;
class BigattiFacade;
class SliceParameters : public ParameterGroup {
public:
SliceParameters(bool exposeBoundParams = false,
bool exposeIndependenceParam = true,
bool supportBigattiAlgorithm = false);
void setUseIndependence(bool value);
void setSplit(const string& split);
void validateSplit(bool allowLabel, bool allowDegree);
void validateSplitHilbert();
bool getUseBoundElimination() const;
bool getUseBoundSimplification() const;
bool getCanonical() const;
const string& getSplit() const;
bool getPrintDebug() const;
bool getPrintStatistics() const;
private:
bool _exposeBoundParam;
bool _exposeIndependenceParam;
BoolParameter _printDebug;
BoolParameter _printStatistics;
BoolParameter _useBoundElimination;
BoolParameter _useBoundSimplification;
BoolParameter _useIndependence;
BoolParameter _useSimplification;
BoolParameter _minimal;
BoolParameter _canonical;
BoolParameter _useBigattiGeneric;
BoolParameter _widenPivot;
StringParameter _split;
};
#endif
BoolParameter.h
ParameterGroup.h
StringParameter.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
ParameterGroup::ParameterGroup
ParameterGroup()
Definition ParameterGroup.cpp:21
SliceFacade
A facade for operations on monomial ideals using the Slice Algorithm.
Definition SliceFacade.h:44
SliceParameters::getPrintStatistics
bool getPrintStatistics() const
Returns the value of the stats option.
Definition SliceParameters.cpp:194
SliceParameters::_printDebug
BoolParameter _printDebug
Definition SliceParameters.h:94
SliceParameters::_canonical
BoolParameter _canonical
Definition SliceParameters.h:101
SliceParameters::validateSplit
void validateSplit(bool allowLabel, bool allowDegree)
Checks that the slice split selection strategy specified is valid.
Definition SliceParameters.cpp:155
SliceParameters::getCanonical
bool getCanonical() const
Get the value of the canonical option.
Definition SliceParameters.cpp:147
SliceParameters::validateSplitHilbert
void validateSplitHilbert()
Checks that the Bigatti Et.al.
Definition SliceParameters.cpp:181
SliceParameters::setSplit
void setSplit(const string &split)
Set the value of the option for choosing the split selection strategy.
Definition SliceParameters.cpp:135
SliceParameters::SliceParameters
SliceParameters(bool exposeBoundParams=false, bool exposeIndependenceParam=true, bool supportBigattiAlgorithm=false)
Construct the parameters with default values.
Definition SliceParameters.cpp:25
SliceParameters::_useIndependence
BoolParameter _useIndependence
Definition SliceParameters.h:98
SliceParameters::_printStatistics
BoolParameter _printStatistics
Definition SliceParameters.h:95
SliceParameters::_exposeBoundParam
bool _exposeBoundParam
Definition SliceParameters.h:91
SliceParameters::getUseBoundElimination
bool getUseBoundElimination() const
Get the value of the bound elimination option.
Definition SliceParameters.cpp:139
SliceParameters::_widenPivot
BoolParameter _widenPivot
Definition SliceParameters.h:103
SliceParameters::_useBoundSimplification
BoolParameter _useBoundSimplification
Definition SliceParameters.h:97
SliceParameters::_minimal
BoolParameter _minimal
Definition SliceParameters.h:100
SliceParameters::_exposeIndependenceParam
bool _exposeIndependenceParam
Definition SliceParameters.h:92
SliceParameters::_split
StringParameter _split
Definition SliceParameters.h:105
SliceParameters::getSplit
const string & getSplit() const
Get the value of the split option.
Definition SliceParameters.cpp:151
SliceParameters::_useSimplification
BoolParameter _useSimplification
Definition SliceParameters.h:99
SliceParameters::_useBigattiGeneric
BoolParameter _useBigattiGeneric
Definition SliceParameters.h:102
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
SliceParameters::_useBoundElimination
BoolParameter _useBoundElimination
Definition SliceParameters.h:96
SliceParameters::setUseIndependence
void setUseIndependence(bool value)
Set the value of the independence split option.
Definition SliceParameters.cpp:131
StringParameter
Definition StringParameter.h:24