1 files changed, 35 insertions, 0 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
new file mode 100644
index 00000000..2892723b
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend
@@ -0,0 +1,35 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse

+

+import java.util.List

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

+import java.util.LinkedList

+import org.eclipse.emf.ecore.EObject

+import java.util.Map

+import org.eclipse.emf.ecore.util.EcoreUtil

+import org.eclipse.viatra.dse.base.ThreadContext

+

+class SolutionStoreWithCopy {

+        long runtime = 0

+        List<PartialInterpretation> solutions = new LinkedList

+        List<Map<EObject,EObject>> copyTraces = new LinkedList

+        

+        long initTime = System.nanoTime

+        

+        def newSolution(ThreadContext context) {

+                //print(System.nanoTime-initTime + ";")

+                val copyStart = System.nanoTime

+                val solution = context.model as PartialInterpretation

+                val copier = new EcoreUtil.Copier

+                val solutionCopy = copier.copy(solution) as PartialInterpretation

+                copier.copyReferences

+                solutions.add(solutionCopy)

+                copyTraces.add(copier)

+                runtime += System.nanoTime - copyStart

+        }

+        def getSumRuntime() {

+                return runtime

+        }

+        def getSolutions() {

+                solutions

+        }

+}
\ No newline at end of file