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)