summaryrefslogtreecommitdiff |
diff options
author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-26 14:51:39 +0200 |
---|---|---|
committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2018-05-26 14:51:39 +0200 |
commit | 319dd36dc3e2ff7788230532d3fef90cc57c98ca (patch) | |
tree | 7adfcf6cd675485ad9414344b2b9b6eb8a4005e7 /src | |
parent | a8325138b0d5be98923dab3014cffdf83a1da832 (diff) |
Fixes some toString...
Diffstat (limited to 'src')
-rw-r--r-- | src/hastabel/lang/Operator.java | 1 | ||||
-rw-r--r-- | src/hastabel/lang/PredicateFormula.java | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/hastabel/lang/Operator.java b/src/hastabel/lang/Operator.java index f729ea9..163b64c 100644 --- a/src/hastabel/lang/Operator.java +++ b/src/hastabel/lang/Operator.java @@ -44,6 +44,7 @@ public enum Operator return as_formula(params); } + @Override public String toString () { switch (this) diff --git a/src/hastabel/lang/PredicateFormula.java b/src/hastabel/lang/PredicateFormula.java index 2658200..6001e75 100644 --- a/src/hastabel/lang/PredicateFormula.java +++ b/src/hastabel/lang/PredicateFormula.java @@ -63,7 +63,7 @@ public class PredicateFormula extends Formula sb = new StringBuilder(); sb.append("("); - sb.append(parent.toString()); + sb.append(parent.get_name()); for (final Expression param: params) { |