Returns a new ArrowSet that is the union of this and another ArrowSet.
(ArrowSet other)
| 235 | * Returns a new ArrowSet that is the union of this and another ArrowSet. |
| 236 | */ |
| 237 | public ArrowSet union(ArrowSet other) { |
| 238 | Set<Arrow> unionSet = new HashSet<>(); |
| 239 | unionSet.addAll(this.getArrows()); |
| 240 | unionSet.addAll(other.getArrows()); |
| 241 | return new ArrowSet(unionSet); |
| 242 | } |
| 243 | |
| 244 | /** |
| 245 | * Returns all arrows (functional dependencies) in this ArrowSet. |