Modifier and Type | Method and Description |
---|---|
java.util.List<ReductionTrackerL> |
IncrementalModelL.getTrackSynthesis() |
Modifier and Type | Method and Description |
---|---|
void |
IncrementalModelL.addTrackSynthesis(ReductionTrackerL tracker) |
Modifier and Type | Method and Description |
---|---|
static void |
ExpandUsingTrackerL.expanUsingTracker(ReductionTrackerL currRedTrack,
InteractivePetriNetL ipn) |
static java.lang.String |
ExpansionUtilsL.logger(ReductionTrackerL rd) |
Modifier and Type | Method and Description |
---|---|
static void |
ExpandUsingTrackerL.expanUsingTracker(java.util.List<ReductionTrackerL> redTrack,
InteractivePetriNetL ipn) |
Modifier and Type | Method and Description |
---|---|
ReductionTrackerL |
InteractiveMatrixNetL.getCurrentRedTracker() |
ReductionTrackerL |
InteractivePetriNetL.getCurrentRedTracker() |
ReductionTrackerL |
InteractiveMatrixNetL.getNextRedTracker() |
ReductionTrackerL |
InteractivePetriNetL.getNextRedTracker() |
Modifier and Type | Method and Description |
---|---|
void |
InteractiveMatrixNetL.setCurrentRedTracker(ReductionTrackerL redTrack) |
void |
InteractivePetriNetL.setCurrentRedTracker(ReductionTrackerL r) |
void |
InteractiveMatrixNetL.setNextRedTracker(ReductionTrackerL redTrack) |
void |
InteractivePetriNetL.setNextRedTracker(ReductionTrackerL r) |
void |
InteractivePetriNetL.updateInteractiveMatNet(ReductionTrackerL rd) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ReductionTrackerL> |
ReductionL.getReductionTracker() |
Modifier and Type | Method and Description |
---|---|
void |
ReductionL.setReductionTracker(java.util.List<ReductionTrackerL> reductionTracker) |