Violation statistics.

1 files changed, 7 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 ef004c4..44daf7a 100644
--- a/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java
+++ b/src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java
@@ -87,6 +87,13 @@ public class SkolemTermsManager {
         return individualToDepth_map.keySet().size();
     }
 
+    /**
+     * Just for reading the clause id from <tt>LimitedSkolemisationApproximator</tt>.
+     */
+    int getClauseId(DLClause clause) {
+        return clauseToId_map.get(clause);
+    }
+
     private int mapClauseToId(DLClause clause) {
         if(!clauseToId_map.containsKey(clause)) {
             clauseToId_map.put(clause, termsCounter);