From e904f9d4b1d2d15ab4ec6d72ee881f4c7de34eef Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Wed, 15 May 2019 13:46:38 -0400
Subject: Formalize CPS case study for optimization

---
 .../cps/queries/internal/CpsQueriesAll.java        | 105 +++++++++++++++++++++
 1 file changed, 105 insertions(+)
 create mode 100644 Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java

(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
new file mode 100644
index 00000000..5f6d161d
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java
@@ -0,0 +1,105 @@
+/**
+ * Generated from platform:/resource/hu.bme.mit.inf.dslreasoner.domains.cps/src/hu/bme/mit/inf/dslreasoner/domains/cps/queries/CpsQueries.vql
+ */
+package hu.bme.mit.inf.dslreasoner.domains.cps.queries.internal;
+
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AllocationWithoutResourceRequirement;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AvailableHdd;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AvailableMemory;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AverageFreeHddMetric;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.AverageFreeMemoryMetric;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.CostMetric;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.CpsApplications;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.CpsCost;
+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.RequirementNotSatisfied;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalHdd;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalMemory;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.internal.FreeHddPercentage;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.internal.FreeMemoryPercentage;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.internal.HddRequirement;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.internal.HostInstanceCost;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.internal.MemoryRequirement;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.internal.ResourceRequirement;
+import hu.bme.mit.inf.dslreasoner.domains.cps.queries.internal.SatisfyingInstance;
+import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
+
+/**
+ * A pattern group formed of all patterns defined in CpsQueries.vql.
+ * 
+ * <p>A private group that includes private patterns as well. Only intended use case is for pattern testing.
+ * 
+ * <p> From package hu.bme.mit.inf.dslreasoner.domains.cps.queries, the group contains the definition of the following patterns: <ul>
+ * <li>cpsApplications</li>
+ * <li>cpsHosts</li>
+ * <li>totalMemory</li>
+ * <li>totalHdd</li>
+ * <li>availableMemory</li>
+ * <li>memoryRequirement</li>
+ * <li>availableHdd</li>
+ * <li>hddRequirement</li>
+ * <li>resourceRequirement</li>
+ * <li>allocationWithoutResourceRequirement</li>
+ * <li>notEnoughAvailableMemory</li>
+ * <li>notEnoughAvailableHdd</li>
+ * <li>instanceDoesNotSatisfyRequirement</li>
+ * <li>satisfyingInstance</li>
+ * <li>requirementNotSatisfied</li>
+ * <li>averageFreeMemoryMetric</li>
+ * <li>freeMemoryPercentage</li>
+ * <li>averageFreeHddMetric</li>
+ * <li>freeHddPercentage</li>
+ * <li>costMetric</li>
+ * <li>cpsCost</li>
+ * <li>hostInstanceCost</li>
+ * </ul>
+ * 
+ * @see IQueryGroup
+ * 
+ */
+@SuppressWarnings("all")
+public final class CpsQueriesAll extends BaseGeneratedPatternGroup {
+  /**
+   * Access the pattern group.
+   * 
+   * @return the singleton instance of the group
+   * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications
+   * 
+   */
+  public static CpsQueriesAll instance() {
+    if (INSTANCE == null) {
+        INSTANCE = new CpsQueriesAll();
+    }
+    return INSTANCE;
+  }
+  
+  private static CpsQueriesAll INSTANCE;
+  
+  private CpsQueriesAll() {
+    querySpecifications.add(CpsApplications.instance());
+    querySpecifications.add(CpsHosts.instance());
+    querySpecifications.add(TotalMemory.instance());
+    querySpecifications.add(TotalHdd.instance());
+    querySpecifications.add(AvailableMemory.instance());
+    querySpecifications.add(MemoryRequirement.instance());
+    querySpecifications.add(AvailableHdd.instance());
+    querySpecifications.add(HddRequirement.instance());
+    querySpecifications.add(ResourceRequirement.instance());
+    querySpecifications.add(AllocationWithoutResourceRequirement.instance());
+    querySpecifications.add(NotEnoughAvailableMemory.instance());
+    querySpecifications.add(NotEnoughAvailableHdd.instance());
+    querySpecifications.add(InstanceDoesNotSatisfyRequirement.instance());
+    querySpecifications.add(SatisfyingInstance.instance());
+    querySpecifications.add(RequirementNotSatisfied.instance());
+    querySpecifications.add(AverageFreeMemoryMetric.instance());
+    querySpecifications.add(FreeMemoryPercentage.instance());
+    querySpecifications.add(AverageFreeHddMetric.instance());
+    querySpecifications.add(FreeHddPercentage.instance());
+    querySpecifications.add(CostMetric.instance());
+    querySpecifications.add(CpsCost.instance());
+    querySpecifications.add(HostInstanceCost.instance());
+  }
+}
-- 
cgit v1.2.3-54-g00ecf