blob: 2892723b51075cf79a0e28856c0f6e87c79cb412 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
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
}
}
|
