aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-05-11 22:03:54 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-05-11 22:03:54 +0200
commit09c0f7bd18e6cec7f8e37bd2bcac9849636d33d1 (patch)
tree0b51ffc70d41ff11e17036c2957275cff024a9e1 /Solvers
parentfix for inverse references (diff)
downloadVIATRA-Generator-09c0f7bd18e6cec7f8e37bd2bcac9849636d33d1.tar.gz
VIATRA-Generator-09c0f7bd18e6cec7f8e37bd2bcac9849636d33d1.tar.zst
VIATRA-Generator-09c0f7bd18e6cec7f8e37bd2bcac9849636d33d1.zip
Bigliteral serialization in xmi transformation fixed
Diffstat (limited to 'Solvers')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend2
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend
index 2b42a8b1..190b5c94 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend
@@ -107,7 +107,7 @@ class PartialInterpretation2Gml {
107 } 107 }
108 108
109 def protected transormTitle(DefinedElement object) { 109 def protected transormTitle(DefinedElement object) {
110 if(object.name!= null)object.name 110 if(object.name!= null)object.name.replace("\"", "")
111 else "null" 111 else "null"
112 } 112 }
113 113