| 236 | |
| 237 | |
| 238 | bool PolymakeFile::hasProperty(const char *p, bool doAssert) |
| 239 | { |
| 240 | if(doAssert) |
| 241 | if(findProperty(p)==properties.end()) |
| 242 | { |
| 243 | fprintf(stderr,"Property: \"%s\" not found in file.\n",p); |
| 244 | assert(0); |
| 245 | } |
| 246 | |
| 247 | return findProperty(p)!=properties.end(); |
| 248 | } |
| 249 | |
| 250 | |
| 251 | Integer PolymakeFile::readCardinalProperty(const char *p) |