496 std::vector<str> str::operator/ (str splitstring) {return split(splitstring);} |
496 std::vector<str> str::operator/ (str splitstring) {return split(splitstring);} |
497 std::vector<str> str::operator/ (char* splitstring) {return split(splitstring);} |
497 std::vector<str> str::operator/ (char* splitstring) {return split(splitstring);} |
498 std::vector<str> str::operator/ (const char* splitstring) {return split(splitstring);} |
498 std::vector<str> str::operator/ (const char* splitstring) {return split(splitstring);} |
499 |
499 |
500 str& str::operator+= (vertex vrt) { |
500 str& str::operator+= (vertex vrt) { |
501 appendformat ("%s", vrt.getStringRep (false).chars()); |
501 appendformat ("%s", vrt.stringRep (false).chars()); |
502 return *this; |
502 return *this; |
503 } |
503 } |
504 |
504 |
505 str format (const char* fmt, ...) { |
505 str format (const char* fmt, ...) { |
506 va_list va; |
506 va_list va; |