From 90cb6032058ad3fc16b895922823b5a700121b1b Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Mon, 24 Aug 2015 15:54:05 +0100
Subject: Incremental Skolemised store (seems completed).

---
 src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java')

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java b/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java
index 107d3ca..034827e 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java
@@ -32,6 +32,13 @@ public class BasicQueryEngine extends RDFoxQueryEngine {
         parameters.m_useBushy = true;
     }
 
+    /***
+     * @return Overall number of triples.
+     */
+    public long getStoreSize() throws JRDFStoreException {
+        return store.getTriplesCount();
+    }
+
     public void materialiseFoldedly(DatalogProgram dProgram, GapByStore4ID gap) {
         if(isDisposed()) throw new DisposedException();
         if(gap != null) {
-- 
cgit v1.2.3