public class GraphTools
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
GraphTools.Quadruple<A,B,C,D> |
Constructor and Description |
---|
GraphTools() |
Modifier and Type | Method and Description |
---|---|
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>>> |
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) |
static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,AdjPlaces> |
getAdjPlacesMap(org.processmining.models.graphbased.directed.petrinet.Petrinet net) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getIngoingTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getOutgoingTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
org.processmining.models.graphbased.directed.petrinet.elements.Place place) |
public static java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,AdjPlaces> getAdjPlacesMap(org.processmining.models.graphbased.directed.petrinet.Petrinet net)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getIngoingTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public static java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getOutgoingTransitions(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.graphbased.directed.petrinet.elements.Place place)
public 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>>> 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)