/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src-gen/ca/mcgill/ecse/dslreasoner/standalone/test/yakindu/queries/
../
.gitignore
Child.java
ChoiceHasNoIncoming.java
ChoiceHasNoOutgoing.java
EntryInRegion.java
HasMultipleIncomingTrainsition.java
HasMultipleOutgoingTrainsition.java
HasMultipleRegions.java
IncomingToEntry.java
MultipleTransitionFromEntry.java
NoEntryInRegion.java
NoOutgoingTransitionFromEntry.java
NoStateInRegion.java
NotSynchronizingStates.java
OutgoingFromExit.java
OutgoingFromFinal.java
StateInRegion.java
SynchHasNoIncoming.java
SynchHasNoOutgoing.java
SynchThree.java
SynchronizedIncomingInSameRegion.java
SynchronizedRegionDoesNotHaveMultipleRegions.java
SynchronizedRegionsAreNotSiblings.java
Transition.java
TwoSynch.java