From e6048bd85da50a8f40538b968fe7ac3b957fdd97 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Fri, 9 Apr 2021 12:48:17 +0100
Subject: Streamline RSA approximation

---
 src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/converter')

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
index fe81312..205c369 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
@@ -32,8 +32,8 @@ class Normalizer() {
   }
 
   /** Statistics */
-  private var discarted = 0
-  private var shifted = 0
+  var discarded = 0
+  var shifted = 0
 
   /** Normalizes a
     * [[org.semanticweb.owlapi.model.OWLLogicalAxiom OWLLogicalAxiom]]
@@ -576,7 +576,7 @@ class Normalizer() {
       axiom: OWLLogicalAxiom
   ): Seq[OWLLogicalAxiom] = {
     /* Update statistics */
-    discarted += 1
+    discarded += 1
     Logger print s"'$axiom' has been ignored because it is not in Horn-ALCHOIQ"
     Seq()
   }
-- 
cgit v1.2.3