Sophie

Sophie

distrib > Mandriva > 2011.0 > i586 > by-pkgid > e1c4a3050d44123471c4053e4926e965 > files > 152

gfan-debug-0.4plus-2mdv2011.0.i586.rpm

#ifndef EP_STANDARD_H_INCLUDED
#define EP_STANDARD_H_INCLUDED

#include "enumeration.h"

class StandardEnumerationPrinter: public EnumerationFilePrinter
{
  int basisCounter;
  bool insertComma;
public:
  StandardEnumerationPrinter();
  bool basis(const PolynomialSet &groebnerBasis);
  string extension();
  void beginEnumeration(const PolynomialSet &groebnerBasis);
  void endEnumeration();
  void onOpened();
  void onClose();
  void onClosed();
};

#endif