blob: 595bfab1cbae1bac132eb8de1eb835cc72809068 [file] [log] [blame]
def readVector(String str) {
def vector = []
use(ListMapCategory) {
vec<caret> str.tokenize(" ").map {
Integer.parseInt(it)
}
}
vector
}
-----
vector