File: ScarfParams.h

package info (click to toggle)
frobby 0.9.0-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 11,452 kB
  • ctags: 4,203
  • sloc: cpp: 29,249; sh: 1,121; makefile: 272; ansic: 102
file content (53 lines) | stat: -rwxr-xr-x 1,860 bytes parent folder | download | duplicates (4)
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
/* Frobby: Software for monomial ideal computations.
   Copyright (C) 2010 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/.
*/
#ifndef SCARF_PARAMS_GUARD
#define SCARF_PARAMS_GUARD

#include "CommonParams.h"

#include <string>

class CliParams;

class ScarfParams : public CommonParams {
 public:
  ScarfParams(CliParams& cli);

  /** Returns true if deforming to a strongly generic ideal. Returns
   false otherwise. */
  bool getDeformToStronglyGeneric() const {return _deformStrong;}
  void setDeformToStronglyGeneric(bool value) {_deformStrong = value;}

  /** Returns the name of the enumeration ordering. */
  const string& getEnumerationOrder() const {return _enumerationOrder;}
  void setEnumerationOrder(const string& name) {_enumerationOrder = name;}

  /** Returns the name of the deformation ordering. */
  const string& getDeformationOrder() const {return _deformationOrder;}
  void setDeformationOrder(const string& name) {_deformationOrder = name;}

 private:
  bool _deformStrong;
  string _enumerationOrder;
  string _deformationOrder;
};

void addScarfParams(CliParams& params);
void extractCliValues(ScarfParams& scarf, const CliParams& cli);

#endif