From 8c04e4d8003f33848ee84011f8427fe92d55001f Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Fri, 5 Jun 2015 12:22:31 +0100
Subject: Violation statistics.

---
 src/uk/ac/ox/cs/pagoda/rules/approximators/SkolemTermsManager.java | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/uk/ac/ox/cs/pagoda/rules/approximators')

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);
-- 
cgit v1.2.3