Migrating Additional projects

1 files changed, 77 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/SolutionStoreWithDiversityDescriptor.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend
new file mode 100644
index 00000000..ca39cada
--- /dev/null
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend
@@ -0,0 +1,77 @@
+package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse

+

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood.AbstractNodeDescriptor

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood.NeighbourhoodWithTraces

+import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood.PartialInterpretation2ImmutableTypeLattice

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

+import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.DiversityDescriptor

+import java.util.LinkedList

+import java.util.List

+import java.util.Map

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

+

+class SolutionStoreWithDiversityDescriptor {

+        val DiversityDescriptor descriptor

+        val PartialInterpretation2ImmutableTypeLattice solutionCoder = new PartialInterpretation2ImmutableTypeLattice

+        val List<NeighbourhoodWithTraces<Map<? extends AbstractNodeDescriptor, Integer>, AbstractNodeDescriptor>> solutionCodeList = new LinkedList

+        

+        var long runtime

+        var int allCheck

+        var int successfulCheck

+        

+        public new(DiversityDescriptor descriptor) {

+                this.descriptor = descriptor

+        }

+        

+        def public isActive() {

+                descriptor!==null

+        }

+        

+        def getSumRuntime() {

+                return runtime

+        }

+        def getSuccessRate() {

+                return successfulCheck as double / allCheck

+        }

+        

+        def isDifferent(ThreadContext context) {

+                if(active) {

+                        val start = System.nanoTime

+                        val model = context.model as PartialInterpretation

+                        val code = solutionCoder.createRepresentation(model,

+                                descriptor.range,

+                                descriptor.parallels,

+                                descriptor.maxNumber,

+                                descriptor.relevantTypes,

+                                descriptor.relevantRelations)

+                        val isDifferent = solutionCodeList.forall[previous | ! code.equals(previous)]

+                        runtime += System.nanoTime - start

+                        allCheck++

+                        if(isDifferent) { successfulCheck++ }

+                        return isDifferent

+                } else {

+                        allCheck++

+                        successfulCheck++

+                        return true

+                }

+        }

+        

+        def canBeDifferent(ThreadContext context) {

+                return true

+        }

+        

+        def newSolution(ThreadContext context) {

+                if(active) {

+                        val start = System.nanoTime

+                        val model = context.model as PartialInterpretation

+                        val code = solutionCoder.createRepresentation(model,

+                                descriptor.range,

+                                descriptor.parallels,

+                                descriptor.maxNumber,

+                                descriptor.relevantTypes,

+                                descriptor.relevantRelations)

+                        solutionCodeList += code

+                        runtime += System.nanoTime - start

+                }

+        }

+}
\ No newline at end of file