public class ExpandUsingTracker
extends java.lang.Object
Constructor and Description |
---|
ExpandUsingTracker() |
Modifier and Type | Method and Description |
---|---|
static void |
expanUsingTracker(java.util.List<ReductionTracker> redTrack,
InteractivePetriNet ipn) |
public static void expanUsingTracker(java.util.List<ReductionTracker> redTrack, InteractivePetriNet ipn)