diff options
author | 2019-05-17 20:37:45 -0400 | |
---|---|---|
committer | 2019-05-17 20:37:45 -0400 | |
commit | 256de89b45a055533650481593e026359d50c203 (patch) | |
tree | 246c6218ecafd8fcd1430eed9e31f8b5a845fb07 /Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal | |
parent | Formalize CPS case study for optimization (diff) | |
download | VIATRA-Generator-256de89b45a055533650481593e026359d50c203.tar.gz VIATRA-Generator-256de89b45a055533650481593e026359d50c203.tar.zst VIATRA-Generator-256de89b45a055533650481593e026359d50c203.zip |
Model generator for CPS case study
Added extra constraint for redundancy in CPS deployments
Diffstat (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal')
-rw-r--r-- | Domains/hu.bme.mit.inf.dslreasoner.domains.cps/src-gen/hu/bme/mit/inf/dslreasoner/domains/cps/queries/internal/CpsQueriesAll.java | 3 |
1 files changed, 3 insertions, 0 deletions
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; | |||
15 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.InstanceDoesNotSatisfyRequirement; | 15 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.InstanceDoesNotSatisfyRequirement; |
16 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.NotEnoughAvailableHdd; | 16 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.NotEnoughAvailableHdd; |
17 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.NotEnoughAvailableMemory; | 17 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.NotEnoughAvailableMemory; |
18 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.RedundantInstancesOnSameHost; | ||
18 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.RequirementNotSatisfied; | 19 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.RequirementNotSatisfied; |
19 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalHdd; | 20 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalHdd; |
20 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalMemory; | 21 | import hu.bme.mit.inf.dslreasoner.domains.cps.queries.TotalMemory; |
@@ -48,6 +49,7 @@ import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup; | |||
48 | * <li>instanceDoesNotSatisfyRequirement</li> | 49 | * <li>instanceDoesNotSatisfyRequirement</li> |
49 | * <li>satisfyingInstance</li> | 50 | * <li>satisfyingInstance</li> |
50 | * <li>requirementNotSatisfied</li> | 51 | * <li>requirementNotSatisfied</li> |
52 | * <li>redundantInstancesOnSameHost</li> | ||
51 | * <li>averageFreeMemoryMetric</li> | 53 | * <li>averageFreeMemoryMetric</li> |
52 | * <li>freeMemoryPercentage</li> | 54 | * <li>freeMemoryPercentage</li> |
53 | * <li>averageFreeHddMetric</li> | 55 | * <li>averageFreeHddMetric</li> |
@@ -94,6 +96,7 @@ public final class CpsQueriesAll extends BaseGeneratedPatternGroup { | |||
94 | querySpecifications.add(InstanceDoesNotSatisfyRequirement.instance()); | 96 | querySpecifications.add(InstanceDoesNotSatisfyRequirement.instance()); |
95 | querySpecifications.add(SatisfyingInstance.instance()); | 97 | querySpecifications.add(SatisfyingInstance.instance()); |
96 | querySpecifications.add(RequirementNotSatisfied.instance()); | 98 | querySpecifications.add(RequirementNotSatisfied.instance()); |
99 | querySpecifications.add(RedundantInstancesOnSameHost.instance()); | ||
97 | querySpecifications.add(AverageFreeMemoryMetric.instance()); | 100 | querySpecifications.add(AverageFreeMemoryMetric.instance()); |
98 | querySpecifications.add(FreeMemoryPercentage.instance()); | 101 | querySpecifications.add(FreeMemoryPercentage.instance()); |
99 | querySpecifications.add(AverageFreeHddMetric.instance()); | 102 | querySpecifications.add(AverageFreeHddMetric.instance()); |