static GraphTools.Quadruple<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Place>>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Transition>>> |
GraphTools.crawlBetween(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> to) |