diff options
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend')
| -rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend | 120 |
1 files changed, 0 insertions, 120 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 deleted file mode 100644 index 1e7f18a8..00000000 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/SolutionStoreWithDiversityDescriptor.xtend +++ /dev/null | |||
| @@ -1,120 +0,0 @@ | |||
| 1 | package hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.dse | ||
| 2 | |||
| 3 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.neighbourhood.PartialInterpretation2ImmutableTypeLattice | ||
| 4 | import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation | ||
| 5 | import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.DiversityDescriptor | ||
| 6 | import java.util.LinkedList | ||
| 7 | import java.util.List | ||
| 8 | import org.eclipse.viatra.dse.base.ThreadContext | ||
| 9 | import java.util.HashSet | ||
| 10 | import java.util.Set | ||
| 11 | |||
| 12 | enum DiversityGranularity { | ||
| 13 | Nodewise, Graphwise | ||
| 14 | } | ||
| 15 | |||
| 16 | class SolutionStoreWithDiversityDescriptor { | ||
| 17 | val DiversityDescriptor descriptor | ||
| 18 | DiversityGranularity granularity | ||
| 19 | val PartialInterpretation2ImmutableTypeLattice solutionCoder = new PartialInterpretation2ImmutableTypeLattice | ||
| 20 | val Set<Integer> solutionCodeList = new HashSet | ||
| 21 | |||
| 22 | var long runtime | ||
| 23 | var int allCheck | ||
| 24 | var int successfulCheck | ||
| 25 | |||
| 26 | new(DiversityDescriptor descriptor) { | ||
| 27 | if(descriptor.ensureDiversity) { | ||
| 28 | this.descriptor = descriptor | ||
| 29 | this.granularity = DiversityGranularity::Nodewise | ||
| 30 | } else { | ||
| 31 | this.descriptor = null | ||
| 32 | this.granularity = DiversityGranularity::Nodewise | ||
| 33 | } | ||
| 34 | } | ||
| 35 | |||
| 36 | def public isActive() { | ||
| 37 | descriptor!==null | ||
| 38 | } | ||
| 39 | |||
| 40 | def getSumRuntime() { | ||
| 41 | return runtime | ||
| 42 | } | ||
| 43 | def getSuccessRate() { | ||
| 44 | return successfulCheck as double / allCheck | ||
| 45 | } | ||
| 46 | |||
| 47 | def isDifferent(ThreadContext context) { | ||
| 48 | if(active) { | ||
| 49 | val start = System.nanoTime | ||
| 50 | val model = context.model as PartialInterpretation | ||
| 51 | var boolean isDifferent | ||
| 52 | if(this.granularity == DiversityGranularity::Graphwise) { | ||
| 53 | val code = solutionCoder.createRepresentation(model, | ||
| 54 | descriptor.range, | ||
| 55 | descriptor.parallels, | ||
| 56 | descriptor.maxNumber, | ||
| 57 | descriptor.relevantTypes, | ||
| 58 | descriptor.relevantRelations).modelRepresentation.hashCode | ||
| 59 | |||
| 60 | isDifferent = !solutionCodeList.contains(code) | ||
| 61 | } else if(this.granularity == DiversityGranularity::Nodewise){ | ||
| 62 | val codes = solutionCoder.createRepresentation(model, | ||
| 63 | descriptor.range, | ||
| 64 | descriptor.parallels, | ||
| 65 | descriptor.maxNumber, | ||
| 66 | descriptor.relevantTypes, | ||
| 67 | descriptor.relevantRelations).modelRepresentation.keySet.map[hashCode].toList | ||
| 68 | val differentCodes = codes.filter[!solutionCodeList.contains(it)] | ||
| 69 | //println(differentCodes.size) | ||
| 70 | |||
| 71 | isDifferent = differentCodes.size>=1 | ||
| 72 | } else { | ||
| 73 | throw new UnsupportedOperationException('''Unsupported diversity type: «this.granularity»''') | ||
| 74 | } | ||
| 75 | |||
| 76 | runtime += System.nanoTime - start | ||
| 77 | allCheck++ | ||
| 78 | if(isDifferent) { successfulCheck++ } | ||
| 79 | return isDifferent | ||
| 80 | } else { | ||
| 81 | allCheck++ | ||
| 82 | successfulCheck++ | ||
| 83 | return true | ||
| 84 | } | ||
| 85 | } | ||
| 86 | |||
| 87 | def canBeDifferent(ThreadContext context) { | ||
| 88 | return true | ||
| 89 | } | ||
| 90 | |||
| 91 | def newSolution(ThreadContext context) { | ||
| 92 | if(active) { | ||
| 93 | val start = System.nanoTime | ||
| 94 | val model = context.model as PartialInterpretation | ||
| 95 | if(this.granularity == DiversityGranularity::Graphwise) { | ||
| 96 | val code = solutionCoder.createRepresentation(model, | ||
| 97 | descriptor.range, | ||
| 98 | descriptor.parallels, | ||
| 99 | descriptor.maxNumber, | ||
| 100 | descriptor.relevantTypes, | ||
| 101 | descriptor.relevantRelations).modelRepresentation.hashCode | ||
| 102 | |||
| 103 | solutionCodeList += code.hashCode | ||
| 104 | } else if(this.granularity == DiversityGranularity::Nodewise){ | ||
| 105 | val codes = solutionCoder.createRepresentation(model, | ||
| 106 | descriptor.range, | ||
| 107 | descriptor.parallels, | ||
| 108 | descriptor.maxNumber, | ||
| 109 | descriptor.relevantTypes, | ||
| 110 | descriptor.relevantRelations).modelRepresentation.keySet.map[hashCode].toList | ||
| 111 | |||
| 112 | solutionCodeList += codes.map[it.hashCode] | ||
| 113 | } else { | ||
| 114 | throw new UnsupportedOperationException('''Unsupported diversity type: «this.granularity»''') | ||
| 115 | } | ||
| 116 | |||
| 117 | runtime += System.nanoTime - start | ||
| 118 | } | ||
| 119 | } | ||
| 120 | } \ No newline at end of file | ||