| 438 | |
| 439 | |
| 440 | void PolymakeFile::writeCardinalVectorProperty(const char *p, ZVector const &v) |
| 441 | { |
| 442 | stringstream t; |
| 443 | |
| 444 | if(isXml) |
| 445 | { |
| 446 | t<<"<vector>"; |
| 447 | for(unsigned i=0;i<v.size();i++) |
| 448 | { |
| 449 | if(i!=0)t<<" "; |
| 450 | t<<v[i]; |
| 451 | } |
| 452 | t<<"</vector>\n"; |
| 453 | } |
| 454 | else |
| 455 | { |
| 456 | for(unsigned i=0;i<v.size();i++) |
| 457 | { |
| 458 | if(i!=0)t<<" "; |
| 459 | t<<v[i]; |
| 460 | } |
| 461 | t<<endl; |
| 462 | } |
| 463 | writeProperty(p,t.str()); |
| 464 | } |
| 465 | |
| 466 | |
| 467 | void PolymakeFile::writeStringProperty(const char *p, const string &s) |