From bb231e3cc43aab160dde5bd2ffce2ac6ee829c85 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 5 Jul 2017 14:23:44 +0200 Subject: Bug with outgoing transitions in yakindu example. --- .../bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/patterns.vql | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner') 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); } ///////// -- cgit v1.2.3-54-g00ecf