aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretation2Gml.xtend12
1 files changed, 11 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 819cae00..6e948827 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
@@ -12,6 +12,16 @@ import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.Relation
12import java.util.Set 12import java.util.Set
13 13
14class PartialInterpretation2Gml { 14class PartialInterpretation2Gml {
15 def private getElements(PartialInterpretation model) {
16 return
17 model.problem.elements +
18 model.newElements +
19 model.booleanelements+
20 model.integerelements+
21 model.stringelement+
22 model.realelements
23 }
24
15 def public transform(PartialInterpretation i) { 25 def public transform(PartialInterpretation i) {
16 val p = i.problem 26 val p = i.problem
17 val Map<DefinedElement, Integer> objectToID = new HashMap 27 val Map<DefinedElement, Integer> objectToID = new HashMap
@@ -19,7 +29,7 @@ class PartialInterpretation2Gml {
19 ''' 29 '''
20 graph 30 graph
21 [ 31 [
22 «FOR object:p.elements + i.newElements SEPARATOR '\n'» 32 «FOR object:i.elements SEPARATOR '\n'»
23 «this.transformObject(object,object.typesOfElement(i),objectToID)» 33 «this.transformObject(object,object.typesOfElement(i),objectToID)»
24 «ENDFOR» 34 «ENDFOR»
25 «FOR relation:i.partialrelationinterpretation» 35 «FOR relation:i.partialrelationinterpretation»