Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/VisualiseAllModelInDirectory.xtend


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz

import java.io.File

class VisualiseAllModelInDirectory {
	def static void main(String[] args) {
		
	}
	
	def static visualiseModel(String folderName) {
		val file = new File(folderName+"/"+"solution1.partialinterpretation")
		val png = new File(folderName+"/"+"solution1.png")
		val gml = new File(folderName+"/"+"solution1.gml")
		
	}
}