/usr/include/singular/gfanlib/gfanlib_polymakefile.h is in libsingular4-dev-common 4.0.3+ds-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 54 55 56 57 58 59 60 61 62 63 64 65 | /*
* gfanlib_polymakefile.h
*
* Created on: Nov 17, 2010
* Author: anders
*/
#ifndef GFANLIB_POLYMAKEFILE_H_INCLUDED
#define GFANLIB_POLYMAKEFILE_H_INCLUDED
#include <list>
#include <vector>
#include <string>
#include <iostream>
#include "gfanlib_matrix.h"
namespace gfan
{
class PolymakeProperty
{
public:
std::string value;
std::string name;
PolymakeProperty(const std::string &name_, const std::string &value_);
};
class PolymakeFile
{
std::string application,type;
std::string fileName;
std::list<PolymakeProperty> properties;
std::list<PolymakeProperty>::iterator findProperty(const char *p);
void writeProperty(const char *p, const std::string &data);
bool isXml;
public:
// void open(const char *fileName_);
void open(std::istream &f);
void create(const char *fileName_, const char *application_, const char *type_, bool isXml_=false);
void writeStream(std::ostream &file);
void close();
bool hasProperty(const char *p, bool doAssert=false);
// The following could be part of a subclass to avoid dependencies on gfan
Integer readCardinalProperty(const char *p);
void writeCardinalProperty(const char *p, Integer n);
bool readBooleanProperty(const char *p);
void writeBooleanProperty(const char *p, bool n);
ZMatrix readMatrixProperty(const char *p, int height, int width);
void writeMatrixProperty(const char *p, const ZMatrix &m, bool indexed=false, const std::vector<std::string> *comments=0);
std::vector<std::list<int> > readMatrixIncidenceProperty(const char *p);
void writeIncidenceMatrixProperty(const char *p, const std::vector<std::list<int> > &m);
ZVector readCardinalVectorProperty(const char *p);
void writeCardinalVectorProperty(const char *p, ZVector const &v);
void writeStringProperty(const char *p, const std::string &s);
};
}
#endif
|