From 06a0cb8eaf60ae1d8255eac78f510e6b20ba48cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Pl=C3=BCmicke?= <pl@dhbw.de>
Date: Sat, 19 May 2018 10:13:08 +0200
Subject: [PATCH] 	modified:   TypeUnifyTask.java noAllErasedElements
 eingefuegt

---
 src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
index 4a7e2750..87798e42 100644
--- a/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
+++ b/src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
@@ -78,6 +78,8 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 	
 	Integer noUndefPair = 0;
 	
+	Integer noAllErasedElements = 0;
+	
 	Integer noBacktracking = 0;
 	
 	public TypeUnifyTask() { 
@@ -559,9 +561,11 @@ public class TypeUnifyTask extends RecursiveTask<Set<Set<UnifyPair>>>  {
 				writeLog("nextSet: " + nextSet.toString());
 				writeLog("nextSetasList: " + nextSetasList.toString());
 				writeLog("Number erased Elements (undef): " + (len - nextSetasList.size()));
-				System.out.println("");
+				noAllErasedElements = noAllErasedElements + (len - nextSetasList.size());
+				writeLog("Number erased Elements (undef): " + noAllErasedElements.toString());
 				noBacktracking++;
 				writeLog("Number of Backtracking: " + noBacktracking);
+				System.out.println("");
 			}
 			//if (nextSetasList.size() == 0 && isUndefinedPairSetSet(result) && nextSet.size() > 1) { 
 			//	return result;