1 files changed, 29 insertions, 0 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/NonRedundantAllocationsConstraint.xtend b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/NonRedundantAllocationsConstraint.xtend
new file mode 100644
index 00000000..1a9286b3
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/mdeo/NonRedundantAllocationsConstraint.xtend
@@ -0,0 +1,29 @@
+package hu.bme.mit.inf.dslreasoner.domains.cps.mdeo
+
+import hu.bme.mit.inf.dslreasoner.domains.cps.CyberPhysicalSystem
+import uk.ac.kcl.inf.mdeoptimiser.libraries.core.optimisation.IGuidanceFunction
+import uk.ac.kcl.inf.mdeoptimiser.libraries.core.optimisation.interpreter.guidance.Solution
+import com.google.common.collect.HashMultiset
+
+class NonRedundantAllocationsConstraint implements IGuidanceFunction {
+        override getName() {
+                "NonRedundantAllocations"
+        }
+
+        override computeFitness(Solution solution) {
+                val cps = solution.model as CyberPhysicalSystem
+                var int cost = 0
+                for (hostType : cps.hostTypes) {
+                        for (host : hostType.instances) {
+                                val bins = HashMultiset.create
+                                for (app : host.applications) {
+                                        bins.add(app.requirement)
+                                }
+                                for (entry : bins.entrySet) {
+                                        cost += entry.count - 1 
+                                }
+                        }
+                }
+                cost
+        }
+}