From 29eecb27c7f91de92b21bbd646d8b7a55e526833 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Tue, 16 Jun 2015 15:54:53 +0100
Subject: Maybe fixed bug in internalisation.

---
 src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

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

diff --git a/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java b/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java
index f3f08e9..95f2cbb 100644
--- a/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java
+++ b/src/uk/ac/ox/cs/pagoda/summary/HermitSummaryFilter.java
@@ -110,6 +110,11 @@ public class HermitSummaryFilter extends Checker {
 		return endomorphismChecker.isConsistent();
 	}
 
+	@Override
+	public int getNoOfCalls() {
+		return summarisedHermiT.getNoOfCalls() + endomorphismChecker.getNoOfCalls();
+	}
+
 	@Override
 	public int check(AnswerTuples answers) {
 		if(isDisposed()) throw new DisposedException();
@@ -183,8 +188,14 @@ public class HermitSummaryFilter extends Checker {
 	public void dispose() {
 		super.dispose();
 
-		if(summarisedHermiT != null) summarisedHermiT.dispose();
-		endomorphismChecker.dispose();
+		if(summarisedHermiT != null) {
+			Utility.logInfo("SummarisedHermit was called " + summarisedHermiT.getNoOfCalls() + " times");
+			summarisedHermiT.dispose();
+		}
+		if(endomorphismChecker != null) {
+			Utility.logInfo("Hermit was called " + endomorphismChecker.getNoOfCalls() + " times");
+			endomorphismChecker.dispose();
+		}
 	}
 
 	private void initialiseSummarisedReasoner() {
-- 
cgit v1.2.3