public class ExpandUsingTrackerL
extends java.lang.Object
Constructor and Description |
---|
ExpandUsingTrackerL() |
Modifier and Type | Method and Description |
---|---|
static void |
expanUsingTracker(java.util.List<ReductionTrackerL> redTrack,
InteractivePetriNetL ipn) |
static void |
expanUsingTracker(ReductionTrackerL currRedTrack,
InteractivePetriNetL ipn) |
public static void expanUsingTracker(java.util.List<ReductionTrackerL> redTrack, InteractivePetriNetL ipn)
public static void expanUsingTracker(ReductionTrackerL currRedTrack, InteractivePetriNetL ipn)