diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-05-18 18:27:32 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-05-18 18:27:32 +0100 |
| commit | c7dbc7c61c7094ea4ec49bd630023f23b92fd9d1 (patch) | |
| tree | 45ff5a535e7d519b58d60c0c214a1f9ecc5a35ef /src/uk/ac/ox/cs/pagoda/rules | |
| parent | 1b6a128137e5d7a6ff75566869232fc054afabef (diff) | |
| download | ACQuA-c7dbc7c61c7094ea4ec49bd630023f23b92fd9d1.tar.gz ACQuA-c7dbc7c61c7094ea4ec49bd630023f23b92fd9d1.zip | |
Configured Maven and improved executable class and tests.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java b/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java index 0413e65..0c12a27 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java +++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java | |||
| @@ -22,6 +22,7 @@ public class SkolemTermsManager { | |||
| 22 | private int dependenciesCounter = 0; | 22 | private int dependenciesCounter = 0; |
| 23 | 23 | ||
| 24 | // replace with hashcode. in case of collision you get only a different upper bound model. | 24 | // replace with hashcode. in case of collision you get only a different upper bound model. |
| 25 | // or, better, use perfect hashing (i.e. devise an ad-hoc hash function without collisions) | ||
| 25 | private Map<Tuple<Individual>, Integer> mapDependencyToId = new HashMap<>(); | 26 | private Map<Tuple<Individual>, Integer> mapDependencyToId = new HashMap<>(); |
| 26 | 27 | ||
| 27 | /** | 28 | /** |