From dedccdd9ba846eeb50add554895e906b482df699 Mon Sep 17 00:00:00 2001 From: SebastianEbert <sebastian.ebert@tu-dresden.de> Date: Fri, 29 Oct 2021 12:17:02 +0200 Subject: [PATCH] clean up --- src/main/jastadd/Navigation.jrag | 16 ---------------- 1 file changed, 16 deletions(-) diff --git a/src/main/jastadd/Navigation.jrag b/src/main/jastadd/Navigation.jrag index fdc3380..08173b5 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(); - } -- GitLab