From e6ca6fefa2630377ebef716bb5325c4569c4d64d Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Thu, 20 Nov 2014 02:13:01 +0100
Subject: [PATCH] Fehler in Karthesischem Produkt behoben

---
 .../typeinference/KarthesischesProdukt.java          | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/de/dhbwstuttgart/typeinference/KarthesischesProdukt.java b/src/de/dhbwstuttgart/typeinference/KarthesischesProdukt.java
index 48db9ff3f..09418a0e4 100755
--- a/src/de/dhbwstuttgart/typeinference/KarthesischesProdukt.java
+++ b/src/de/dhbwstuttgart/typeinference/KarthesischesProdukt.java
@@ -5,7 +5,17 @@ import java.util.Vector;
 public class KarthesischesProdukt<M> {
 
 	public Vector<Vector<M>> berechneKarthesischesProdukt(Vector<Vector<M>> m1){
-		if(m1.size()<2)return m1;//throw new TypinferenzException("m1 hat zu wenige Objekte für ein Karthesisches Produkt. Es müssen mindestens 2 sein.");
+		if(m1.size()==0)return m1;
+		if(m1.size()==1){
+			Vector<Vector<M>> ret = new Vector<Vector<M>>();
+			for(M o : m1.firstElement()){
+				Vector<M> v = new Vector<M>();
+				v.add(o);
+				ret.add(v);
+			}
+			return ret;
+			//return m1;//throw new TypinferenzException("m1 hat zu wenige Objekte für ein Karthesisches Produkt. Es müssen mindestens 2 sein.");
+		}
 		return berechneKarthesischesProdukt(m1, null);
 	}