From fcac7fb04fc3b72d4ac03ecaa6e336661bad74dd Mon Sep 17 00:00:00 2001 From: JanUlrich Date: Wed, 20 May 2015 15:20:25 +0200 Subject: [PATCH] =?UTF-8?q?toString()=20f=C3=BCr=20OderMenge=20implementie?= =?UTF-8?q?ren?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/de/dhbwstuttgart/typeinference/ConstraintsSet.java | 7 +------ src/de/dhbwstuttgart/typeinference/OderMenge.java | 9 +++++++++ 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/src/de/dhbwstuttgart/typeinference/ConstraintsSet.java b/src/de/dhbwstuttgart/typeinference/ConstraintsSet.java index c8dadca9..6e4a483d 100755 --- a/src/de/dhbwstuttgart/typeinference/ConstraintsSet.java +++ b/src/de/dhbwstuttgart/typeinference/ConstraintsSet.java @@ -19,12 +19,7 @@ public class ConstraintsSet extends UndMenge{ public void add(KomplexeMenge constraint){ this.addItems(constraint); } - - public String toString(){ - String ret = ""; - - return ret; - } + /* private UndConstraint constraintsSet; diff --git a/src/de/dhbwstuttgart/typeinference/OderMenge.java b/src/de/dhbwstuttgart/typeinference/OderMenge.java index 0d17bf09..853fa968 100644 --- a/src/de/dhbwstuttgart/typeinference/OderMenge.java +++ b/src/de/dhbwstuttgart/typeinference/OderMenge.java @@ -75,4 +75,13 @@ public class OderMenge implements KomplexeMenge{ } return ret; } + + @Override + public String toString(){ + String ret = "["; + for(KomplexeMenge i : set){ + ret += i.toString() + " |\n"; + } + return ret + "]"; + } }