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