public class PathListOperations
extends java.lang.Object
Constructor and Description |
---|
PathListOperations() |
Modifier and Type | Method and Description |
---|---|
static java.util.ArrayList<PlacePair> |
doubleKnockouts(Model model,
PathList paths) |
static java.util.ArrayList<TransitionPair> |
essentialTransitionPairs(Model model,
PathList paths) |
static java.util.ArrayList<java.lang.String> |
essentialTransitions(Model model,
PathList paths) |
static java.util.ArrayList<java.lang.String> |
knockouts(Model model,
PathList paths) |
static PathList |
pathsUsingPlace(Model model,
PathList paths,
java.lang.String place) |
static PathList |
pathsUsingPlaces(Model model,
PathList paths,
java.util.ArrayList<java.lang.String> places) |
static java.util.ArrayList<java.lang.String> |
usedPlaces(Model model,
PathList paths) |
public static java.util.ArrayList<java.lang.String> essentialTransitions(Model model, PathList paths)
public static java.util.ArrayList<TransitionPair> essentialTransitionPairs(Model model, PathList paths)
public static java.util.ArrayList<java.lang.String> knockouts(Model model, PathList paths)
public static java.util.ArrayList<PlacePair> doubleKnockouts(Model model, PathList paths)
public static java.util.ArrayList<java.lang.String> usedPlaces(Model model, PathList paths)
public static PathList pathsUsingPlace(Model model, PathList paths, java.lang.String place)