diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-09 20:33:19 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2020-05-09 20:33:19 +0200 |
commit | 3776a7c6bc1d6fc3ebbdc9e8afb5ea99207798e0 (patch) | |
tree | 204cbd6fd1e7f439bc44e6210e684dbed8917e54 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend | |
parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
download | VIATRA-Generator-3776a7c6bc1d6fc3ebbdc9e8afb5ea99207798e0.tar.gz VIATRA-Generator-3776a7c6bc1d6fc3ebbdc9e8afb5ea99207798e0.tar.zst VIATRA-Generator-3776a7c6bc1d6fc3ebbdc9e8afb5ea99207798e0.zip |
Numeric Solver integration to exploration
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend index a8b7301e..21867a4e 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend | |||
@@ -25,7 +25,7 @@ class SolutionStoreWithCopy { | |||
25 | newSolution(context) | 25 | newSolution(context) |
26 | }*/ | 26 | }*/ |
27 | 27 | ||
28 | def newSolution(ThreadContext context) { | 28 | def Map<EObject,EObject> newSolution(ThreadContext context) { |
29 | //print(System.nanoTime-initTime + ";") | 29 | //print(System.nanoTime-initTime + ";") |
30 | val copyStart = System.nanoTime | 30 | val copyStart = System.nanoTime |
31 | val solution = context.model as PartialInterpretation | 31 | val solution = context.model as PartialInterpretation |
@@ -36,6 +36,7 @@ class SolutionStoreWithCopy { | |||
36 | copyTraces.add(copier) | 36 | copyTraces.add(copier) |
37 | runtime += System.nanoTime - copyStart | 37 | runtime += System.nanoTime - copyStart |
38 | solutionTimes.add(System.nanoTime-sartTime) | 38 | solutionTimes.add(System.nanoTime-sartTime) |
39 | return copier | ||
39 | } | 40 | } |
40 | def getSumRuntime() { | 41 | def getSumRuntime() { |
41 | return runtime | 42 | return runtime |