From 6e8ee40e41d84e0466153802a2c9b4ae88af3544 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Tue, 9 Jun 2015 18:23:15 +0100 Subject: Fixed marking original individuals in the relevant upper store. --- src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/uk/ac/ox/cs/pagoda/rules') 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 { /** * Get the number of individuals generated by this manager. */ - public int getNumberOfSkolemisedIndividual() { + public int getSkolemIndividualsCount() { return individualToDepth_map.keySet().size(); } -- cgit v1.2.3