diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-10 18:17:06 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-11 12:34:47 +0100 |
| commit | 17bd9beaf7f358a44e5bf36a5855fe6727d506dc (patch) | |
| tree | 47e9310a0cff869d9ec017dcb2c81876407782c8 /src/uk/ac/ox/cs/pagoda/util/data_structures | |
| parent | 8651164cd632a5db310b457ce32d4fbc97bdc41c (diff) | |
| download | ACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.tar.gz ACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.zip | |
[pagoda] Move project to Scala
This commit includes a few changes:
- The repository still uses Maven to manage dependency but it is now a
Scala project.
- The code has been ported from OWLAPI 3.4.10 to 5.1.20
- A proof of concept program using both RSAComb and PAGOdA has been
added.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/util/data_structures')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/util/data_structures/Graph.java | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/util/data_structures/Graph.java b/src/uk/ac/ox/cs/pagoda/util/data_structures/Graph.java deleted file mode 100644 index 4f454df..0000000 --- a/src/uk/ac/ox/cs/pagoda/util/data_structures/Graph.java +++ /dev/null | |||
| @@ -1,38 +0,0 @@ | |||
| 1 | package uk.ac.ox.cs.pagoda.util.data_structures; | ||
| 2 | |||
| 3 | import java.util.*; | ||
| 4 | |||
| 5 | public class Graph<V> { | ||
| 6 | |||
| 7 | private final boolean isDirected; | ||
| 8 | |||
| 9 | private Map<V, Set<V>> outEdgesOf = new HashMap<>(); | ||
| 10 | public Graph(boolean isDirected) { | ||
| 11 | this.isDirected = isDirected; | ||
| 12 | } | ||
| 13 | |||
| 14 | public Graph() { | ||
| 15 | this(false); | ||
| 16 | } | ||
| 17 | public void addNode(V v) { | ||
| 18 | if(!outEdgesOf.containsKey(v)) | ||
| 19 | outEdgesOf.put(v, new HashSet<V>()); | ||
| 20 | } | ||
| 21 | |||
| 22 | public void addEdge(V v, V u) { | ||
| 23 | addNode(v); | ||
| 24 | addNode(u); | ||
| 25 | outEdgesOf.get(v).add(u); | ||
| 26 | |||
| 27 | if(isDirected) | ||
| 28 | outEdgesOf.get(u).add(v); | ||
| 29 | } | ||
| 30 | |||
| 31 | public Iterator<V> getOutNeighbors(V v) { | ||
| 32 | return outEdgesOf.get(v).iterator(); | ||
| 33 | } | ||
| 34 | |||
| 35 | public boolean isDirected() { | ||
| 36 | return isDirected; | ||
| 37 | } | ||
| 38 | } | ||
