commit | fde93e5083e6328cde4b59a49f848b3d3f05d9c5 | [log] [tgz] |
---|---|---|
author | Zoltan Ujhelyi <ujhelyiz@incquerylabs.com> | Mon Apr 09 09:40:10 2018 +0200 |
committer | Zoltan Ujhelyi <ujhelyiz@incquerylabs.com> | Mon Apr 09 09:40:10 2018 +0200 |
tree | fee071f1ee9807128c93ce16a380e270e707dd6f | |
parent | ce71444e41ff28c63990b92ba17f2493359a1f42 [diff] |
[531731] Use reflexive transitive closure in CPS demonstrator Change-Id: Ibda93f593f3512539883083467ed4bf12d37e8c0 Signed-off-by: Zoltan Ujhelyi <ujhelyiz@incquerylabs.com>
diff --git a/cps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql b/cps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql index 25e3b4a..7f42a17 100644 --- a/cps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql +++ b/cps/queries/org.eclipse.viatra.examples.cps.queries/src/org/eclipse/viatra/examples/cps/model/validation/rules.vql
@@ -180,11 +180,7 @@ } pattern reachableHosts(source : HostInstance, target : HostInstance) { - find hostCommunication+(source, target); -} or { - HostInstance(source); - HostInstance(target); - source == target; + find hostCommunication*(source, target); } pattern reachableAppInstance(sourceHostInstance : HostInstance, app : ApplicationType, appInstance : ApplicationInstance) {