diff --git a/src/main/jastadd/Navigation.jrag b/src/main/jastadd/Navigation.jrag index fdc3380bbeced08fbd1f4bd9f202faff67f61b2a..08173b5f0023392743fdd54dc9216de3debeb880 100644 --- a/src/main/jastadd/Navigation.jrag +++ b/src/main/jastadd/Navigation.jrag @@ -95,20 +95,4 @@ aspect Navigation { Page contributes this to PetriNet.allPages() for petriNet(); - - coll java.util.Set<TransitionNode> PetriNet.allTransitionNodes() [new java.util.HashSet()] root PetriNet; - TransitionNode contributes this - to PetriNet.allTransitionNodes() - for petriNet(); - - coll java.util.Set<RefTransition> PetriNet.allRefTransitions() [new java.util.HashSet()] root PetriNet; - RefTransition contributes this - to PetriNet.allRefTransitions() - for petriNet(); - - coll java.util.Set<RefPlace> PetriNet.allRefPlaces() [new java.util.HashSet()] root PetriNet; - RefPlace contributes this - to PetriNet.allRefPlaces() - for petriNet(); - }