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 |
Integer[][] i2S = new Integer[sS.length][]; |
Integer[][] i2S = new Integer[sS.length][]; |
108 |
for(int i = 0; i < sS.length; i++) i2S[i] = Parser.parseIntList(sS[i]); |
for(int i = 0; i < sS.length; i++) i2S[i] = Parser.parseIntList(sS[i]); |
109 |
setPossibilities(i2S); |
setPossibilities(i2S); |