Bug with outgoing transitions in yakindu example.

1 files changed, 2 insertions, 2 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
index e964cfc7..f4bfa3c1 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql
@@ -50,7 +50,7 @@ pattern multipleTransitionFromEntry(e : Entry, t1 : Transition, t2: Transition)
 

 @Constraint(severity="error", message="error", key = {e})

 pattern outgoingFromExit(t : Transition, e : Exit) {

-        find transition(t, e, _);

+        Exit.outgoingTransitions(e,t);

 }

 

 /////////

@@ -59,7 +59,7 @@ pattern outgoingFromExit(t : Transition, e : Exit) {
 

 @Constraint(severity="error", message="error", key = {f})

 pattern outgoingFromFinal(t : Transition, f : FinalState) {

-        find transition(t, f, _);

+        FinalState.outgoingTransitions(f,t);

 }

 

 /////////