diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-07 19:22:16 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-07 19:22:16 +0200 |
commit | a2ba6b5addbc82a635af4f90195581c08f9913c0 (patch) | |
tree | 00f60f337c3e3ead27b91e94b57c6958888bea8c /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation | |
parent | viatra parsing fixes (diff) | |
download | VIATRA-Generator-a2ba6b5addbc82a635af4f90195581c08f9913c0.tar.gz VIATRA-Generator-a2ba6b5addbc82a635af4f90195581c08f9913c0.tar.zst VIATRA-Generator-a2ba6b5addbc82a635af4f90195581c08f9913c0.zip |
multiple object additions fixes
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend index 78326207..05a4e6c2 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/PartialInterpretation2Graphviz.xtend | |||
@@ -155,7 +155,7 @@ class GraphvizVisualiser implements PartialInterpretationVisualiser { | |||
155 | textWithSubSup(parts.getOrNull(0),parts.getOrNull(1),parts.getOrNull(2),null) | 155 | textWithSubSup(parts.getOrNull(0),parts.getOrNull(1),parts.getOrNull(2),null) |
156 | } else { | 156 | } else { |
157 | val parts = ID.split("\\s+") | 157 | val parts = ID.split("\\s+") |
158 | textWithSubSup(parts.get(0),parts.get(1),parts.getOrNull(2),null) | 158 | textWithSubSup(parts.getOrNull(0),parts.getOrNull(1),parts.getOrNull(2),null) |
159 | } | 159 | } |
160 | val label = Label.html( | 160 | val label = Label.html( |
161 | '''<TABLE«tableStyle»>'''+ | 161 | '''<TABLE«tableStyle»>'''+ |