diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-09 18:23:15 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-09 18:23:15 +0100 |
| commit | 6e8ee40e41d84e0466153802a2c9b4ae88af3544 (patch) | |
| tree | 74d5d4fa04f2c8339433fffd6ababc2b21afc2e1 /src/uk/ac/ox/cs/pagoda/rules | |
| parent | dcdf7f8062919e5746b0b15c77ba8279d5f526c1 (diff) | |
| download | ACQuA-6e8ee40e41d84e0466153802a2c9b4ae88af3544.tar.gz ACQuA-6e8ee40e41d84e0466153802a2c9b4ae88af3544.zip | |
Fixed marking original individuals in the relevant upper store.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/rules')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java | 2 |
1 files changed, 1 insertions, 1 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 44daf7a..a78aabe 100644 --- a/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java +++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java | |||
| @@ -83,7 +83,7 @@ public class SkolemTermsManager { | |||
| 83 | /** | 83 | /** |
| 84 | * Get the number of individuals generated by this manager. | 84 | * Get the number of individuals generated by this manager. |
| 85 | */ | 85 | */ |
| 86 | public int getNumberOfSkolemisedIndividual() { | 86 | public int getSkolemIndividualsCount() { |
| 87 | return individualToDepth_map.keySet().size(); | 87 | return individualToDepth_map.keySet().size(); |
| 88 | } | 88 | } |
| 89 | 89 | ||