1 files changed, 5 insertions, 6 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 69689899..82b908b3 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
@@ -1,5 +1,4 @@
 package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu

-

 import epackage "hu.bme.mit.inf.yakindumm"

 

 /////////

@@ -122,7 +121,7 @@ pattern choiceHasNoIncoming(c: Choice) {
 //      neg find hasMultipleOutgoingTrainsition(s);

 //      neg find hasMultipleIncomingTrainsition(s);

 //}

-//

+

 //pattern hasMultipleOutgoingTrainsition(v : Synchronization) {

 //      find transition(_, v, trg1);

 //      find transition(_, v, trg2);

@@ -203,10 +202,10 @@ pattern hasMultipleRegions(composite: CompositeElement) {
 //      t2!=t3;

 //      t1!=t3;

 //}

-//

-///**

-// * Simplifying model generation

-// */

+

+/**

+ * Simplifying model generation

+ */

 //@Constraint(severity="error", message="error", key = {s1,s2})

 //pattern twoSynch(s1 : Synchronization, s2 : Synchronization) {

 //      Synchronization(s1);