diff options
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/GraphvizV8WithMemory.xtend | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/GraphvizV8WithMemory.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/GraphvizV8WithMemory.xtend new file mode 100644 index 00000000..542289d4 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/GraphvizV8WithMemory.xtend | |||
@@ -0,0 +1,16 @@ | |||
1 | package hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz | ||
2 | |||
3 | import guru.nidi.graphviz.engine.GraphvizV8Engine | ||
4 | |||
5 | class GraphvizV8WithMemory extends GraphvizV8Engine { | ||
6 | val int memory; | ||
7 | new(int memory) { | ||
8 | this.memory = memory | ||
9 | //this. | ||
10 | } | ||
11 | |||
12 | override protected jsInitEnv() { | ||
13 | println super.jsInitEnv() | ||
14 | super.jsInitEnv() | ||
15 | } | ||
16 | } | ||