From c51059a17bfb9c36d5473a30e66de4e50e1e79b0 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 27 Aug 2017 18:20:21 +0200 Subject: Simple visualiser that prints the size of the intermediate solution. --- .../PartialInterpretationSizePrinter.xtend | 34 ++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/visualisation/PartialInterpretationSizePrinter.xtend (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf') 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 -- cgit v1.2.3-54-g00ecf