1 files changed, 51 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..4bd2c349
--- /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,51 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse

+

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

+import java.util.LinkedList

+import java.util.List

+import java.util.Map

+import org.eclipse.emf.ecore.EObject

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

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

+

+class SolutionStoreWithCopy {

+        

+        long runtime = 0

+        List<PartialInterpretation> solutions = new LinkedList

+        //public List<SortedMap<String,Integer>> additionalMatches = new LinkedList

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

+        

+        long sartTime = System.nanoTime

+        List<Long> solutionTimes = new LinkedList

+        

+        /*def newSolution(ThreadContext context, SortedMap<String,Integer> additonalMatch) {

+                additionalMatches+= additonalMatch

+                newSolution(context)

+        }*/

+        

+        def Map<EObject,EObject> 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

+                solutionTimes.add(System.nanoTime-sartTime)

+                return copier

+        }

+        def getSumRuntime() {

+                return runtime

+        }

+        def getAllRuntimes() {

+                return solutionTimes

+        }

+        def getSolutions() {

+                solutions

+        }

+        def getCopyTraces() {

+                return copyTraces

+        }

+}
\ No newline at end of file