103 |
} else if(s.startsWith("POSSIBILITIES: ")) { |
} else if(s.startsWith("POSSIBILITIES: ")) { |
104 |
s = s.substring("POSSIBILITIES: ".length(), s.length()); |
s = s.substring("POSSIBILITIES: ".length(), s.length()); |
105 |
|
|
106 |
String[] sS = Parser.parseStringList(s); |
String[] sS = Parser.parseQuotedStringList(s); |
107 |
Float[][] f2S = new Float[sS.length][]; |
Float[][] f2S = new Float[sS.length][]; |
108 |
for(int i = 0; i < sS.length; i++) f2S[i] = Parser.parseFloatList(sS[i]); |
for(int i = 0; i < sS.length; i++) f2S[i] = Parser.parseFloatList(sS[i]); |
109 |
setPossibilities(f2S); |
setPossibilities(f2S); |