()
| 262 | } |
| 263 | |
| 264 | @Override public String toString() { |
| 265 | StringBuilder sb = new StringBuilder(); |
| 266 | sb.append("ArrowSet{"); |
| 267 | boolean first = true; |
| 268 | for (Arrow arrow : getArrows()) { |
| 269 | if (!first) { |
| 270 | sb.append(", "); |
| 271 | } |
| 272 | sb.append(arrow); |
| 273 | first = false; |
| 274 | } |
| 275 | sb.append('}'); |
| 276 | return sb.toString(); |
| 277 | } |
| 278 | |
| 279 | /** |
| 280 | * Returns true if, from this ArrowSet, one can deduce that {@code determinants} |