diff options
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 | 11 |
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 | |||
7 | import java.util.Map | 7 | import java.util.Map |
8 | import org.eclipse.emf.ecore.util.EcoreUtil | 8 | import org.eclipse.emf.ecore.util.EcoreUtil |
9 | import org.eclipse.viatra.dse.base.ThreadContext | 9 | import org.eclipse.viatra.dse.base.ThreadContext |
10 | import java.util.TreeMap | ||
11 | import java.util.SortedMap | ||
10 | 12 | ||
11 | class SolutionStoreWithCopy { | 13 | class SolutionStoreWithCopy { |
12 | 14 | ||
13 | long runtime = 0 | 15 | long runtime = 0 |
14 | List<PartialInterpretation> solutions = new LinkedList | 16 | List<PartialInterpretation> solutions = new LinkedList |
17 | //public List<SortedMap<String,Integer>> additionalMatches = new LinkedList | ||
15 | List<Map<EObject,EObject>> copyTraces = new LinkedList | 18 | List<Map<EObject,EObject>> copyTraces = new LinkedList |
16 | 19 | ||
17 | long sartTime = System.nanoTime | 20 | long sartTime = System.nanoTime |
18 | List<Long> solutionTimes = new LinkedList | 21 | List<Long> solutionTimes = new LinkedList |
19 | 22 | ||
23 | /*def newSolution(ThreadContext context, SortedMap<String,Integer> additonalMatch) { | ||
24 | additionalMatches+= additonalMatch | ||
25 | newSolution(context) | ||
26 | }*/ | ||
27 | |||
20 | def newSolution(ThreadContext context) { | 28 | def newSolution(ThreadContext context) { |
21 | //print(System.nanoTime-initTime + ";") | 29 | //print(System.nanoTime-initTime + ";") |
22 | val copyStart = System.nanoTime | 30 | val copyStart = System.nanoTime |
@@ -38,4 +46,7 @@ class SolutionStoreWithCopy { | |||
38 | def getSolutions() { | 46 | def getSolutions() { |
39 | solutions | 47 | solutions |
40 | } | 48 | } |
49 | def getCopyTraces() { | ||
50 | return copyTraces | ||
51 | } | ||
41 | } \ No newline at end of file | 52 | } \ No newline at end of file |