Simple visualiser that prints the size of the intermediate solution.

1 files changed, 34 insertions, 0 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretationSizePrinter.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretationSizePrinter.xtend
new file mode 100644
index 00000000..b9ea3df3
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretationSizePrinter.xtend
@@ -0,0 +1,34 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.visualisation

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation

+import hu.bme.mit.inf.dslreasoner.workspace.ReasonerWorkspace

+

+class PartialInterpretationSizePrinter implements PartialInterpretationVisualiser {

+        long startTime

+        

+        public new() {

+                startTime = System.currentTimeMillis

+        }

+        

+        override visualiseConcretization(PartialInterpretation partialInterpretation) {

+                return new PartialInterpretationSizePrinterAction(partialInterpretation.newElements.size,System.currentTimeMillis-startTime)

+        }

+        

+        override visualisePartialSolution(PartialInterpretation partialInterpretation) {

+                throw new UnsupportedOperationException("TODO: auto-generated method stub")

+        }

+        

+}

+class PartialInterpretationSizePrinterAction implements PartialInterpretationVisualisation {

+        val int size

+        long millis

+        

+        public new(int size, long millis) {

+                this.size = size

+                this.millis = millis

+        }

+        

+        override writeToFile(ReasonerWorkspace workspace, String name) {

+                println("Size="+size+", Time="+millis/1000+"s")

+        }

+}
\ No newline at end of file