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 + "]"; + } }