Gets a collection of all places @return set of all elements or empty set
()
| 314 | * @return set of all elements or empty set |
| 315 | */ |
| 316 | public HashSet<Place> getPlaces(){ |
| 317 | return new HashSet(elements.values()); |
| 318 | } |
| 319 | |
| 320 | /** |
| 321 | * Gets a collection of all layer elements |