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 | |
| 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')
| -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»>'''+ |