1 #ifndef GFANAPPLICATION_H_INCLUDED
2 #define GFANAPPLICATION_H_INCLUDED
3 
4 #include "application.h"
5 #include "vektor.h"
6 
7 /** @mainpage The Gfan Source Code
8 This is the documentation of the Gfan header
9  files. Please note that many cpp files do not have header files. In
10  particular many Application files do not have header files and the
11  best way to find documentation of these is through their help text
12  which can be viewed when running the associated Gfan program with the
13  option --help.
14 
15 For the best overview of the Gfan classes go to the hierarchical view using the Classes/Class Hierarchy link above.
16 */
17 
18 class GFanApplication : public Application
19 {
20  protected:
21   class FieldOption: public IntegerOption
22     {
23     public:
24       FieldOption();
25       void onOptionsParsed();
26     };
27   class LogLevelOption: public IntegerOption
28     {
29     public:
30       LogLevelOption();
31       void onOptionsParsed();
32     };
33   class StdinFileOption: public StringOption
34   {
35   public:
36 	  StdinFileOption();
37 	  void onOptionsParsed();
38   };
39   class StdoutFileOption: public StringOption
40   {
41   public:
42 	  StdoutFileOption();
43 	  void onOptionsParsed();
44   };
45   class XmlOption: public SimpleOption
46   {
47   public:
48     XmlOption();
49     void onOptionsParsed();
50   };
51   class InterruptOption: public IntegerOption
52   {
53   public:
InterruptOption()54 	  InterruptOption():
55 		  IntegerOption("--interrupt","Interrupt the enumeration after a specified number of facets have been computed (works for usual symmetric traversals, but may not work in general for non-symmetric traversals or for traversals restricted to fans).",-1)
56 	  {};
57   };
58   void assertSymmetriesMatch(IntegerVectorList const &g, class PolynomialSet &markedGroebnerBasis, class FieldMatrix const *torusActions=0, bool asPolynomials=false);
59   virtual void onExit();
60   //  FieldOption theFieldOption;
61   LogLevelOption theLogLevelOption;
62   StdinFileOption theStdinFileOption;
63   StdoutFileOption theStdoutFileOption;
64   XmlOption theXmlOption;
65 };
66 
67 #endif
68 
69