1 files changed, 11 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
index 679b9600..a8b7301e 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
@@ -7,16 +7,24 @@ import org.eclipse.emf.ecore.EObject
 import java.util.Map

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

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

+import java.util.TreeMap

+import java.util.SortedMap

 

 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 newSolution(ThreadContext context) {

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

                 val copyStart = System.nanoTime

@@ -38,4 +46,7 @@ class SolutionStoreWithCopy {
         def getSolutions() {

                 solutions

         }

+        def getCopyTraces() {

+                return copyTraces

+        }

 }
\ No newline at end of file