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
---
 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/plugin.xml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/plugin.xml')

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/plugin.xml
index 256b967d..a7e8c387 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/plugin.xml
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/plugin.xml
@@ -35,6 +35,7 @@
       <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.cps.queries.notEnoughAvailableHdd"/>
       <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.cps.queries.instanceDoesNotSatisfyRequirement"/>
       <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.cps.queries.requirementNotSatisfied"/>
+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.cps.queries.redundantInstancesOnSameHost"/>
       <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.cps.queries.averageFreeMemoryMetric"/>
       <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.cps.queries.averageFreeHddMetric"/>
       <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.cps.queries.costMetric"/>
-- 
cgit v1.2.3-70-g09d2