Method writeCardinalProperty

gfanlib/gfanlib_polymakefile.cpp:265–270

void PolymakeFile::writeCardinalProperty(const char *p, Integer n)
{
  stringstream t;
  t<<n<<endl;
  writeProperty(p,t.str());
}


bool PolymakeFile::readBooleanProperty(const char */*p*/)