From 3f9b1c92cc35fa4ed9672a2b8601f4c22af24921 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Sun, 7 Apr 2019 13:46:36 +0200
Subject: Infrastructure for objective functions

---
 .../reasoner/dse/SolutionStoreWithCopy.xtend       | 52 ----------------------
 1 file changed, 52 deletions(-)
 delete mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend

(limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend')

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
deleted file mode 100644
index a8b7301e..00000000
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithCopy.xtend
+++ /dev/null
@@ -1,52 +0,0 @@
-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
-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
-		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)
-	}
-	def getSumRuntime() {
-		return runtime
-	}
-	def getAllRuntimes() {
-		return solutionTimes
-	}
-	def getSolutions() {
-		solutions
-	}
-	def getCopyTraces() {
-		return copyTraces
-	}
-}
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf