From 256de89b45a055533650481593e026359d50c203 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Fri, 17 May 2019 20:37:45 -0400
Subject: Model generator for CPS case study

Added extra constraint for redundancy in CPS deployments
---
 .../inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java    | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java')

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java
index 5f6d161d..58b113eb 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java
@@ -15,6 +15,7 @@ import hu.bme.mit.inf.dslreasoner.domains.cps.queries.CpsHosts;
 import hu.bme.mit.inf.dslreasoner.domains.cps.queries.InstanceDoesNotSatisfyRequirement;
 import hu.bme.mit.inf.dslreasoner.domains.cps.queries.NotEnoughAvailableHdd;
 import hu.bme.mit.inf.dslreasoner.domains.cps.queries.NotEnoughAvailableMemory;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.RedundantInstancesOnSameHost;
 import hu.bme.mit.inf.dslreasoner.domains.cps.queries.RequirementNotSatisfied;
 import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalHdd;
 import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalMemory;
@@ -48,6 +49,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
  * <li>instanceDoesNotSatisfyRequirement</li>
  * <li>satisfyingInstance</li>
  * <li>requirementNotSatisfied</li>
+ * <li>redundantInstancesOnSameHost</li>
  * <li>averageFreeMemoryMetric</li>
  * <li>freeMemoryPercentage</li>
  * <li>averageFreeHddMetric</li>
@@ -94,6 +96,7 @@ public final class CpsQueriesAll extends BaseGeneratedPatternGroup {
     querySpecifications.add(InstanceDoesNotSatisfyRequirement.instance());
     querySpecifications.add(SatisfyingInstance.instance());
     querySpecifications.add(RequirementNotSatisfied.instance());
+    querySpecifications.add(RedundantInstancesOnSameHost.instance());
     querySpecifications.add(AverageFreeMemoryMetric.instance());
     querySpecifications.add(FreeMemoryPercentage.instance());
     querySpecifications.add(AverageFreeHddMetric.instance());
-- 
cgit v1.2.3-70-g09d2