Modifier and Type | Method and Description |
---|---|
static void |
ExpandUsingTrackerRecordAlignmentInfo.expanUsingTracker(java.util.List<ReductionTracker> redTrack,
InteractivePetriNet ipn) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ReductionTracker> |
IncrementalModel.getTrackSynthesis() |
Modifier and Type | Method and Description |
---|---|
void |
IncrementalModel.addTrackSynthesis(ReductionTracker tracker) |
Modifier and Type | Method and Description |
---|---|
static java.lang.String |
ExpansionUtils.logger(ReductionTracker rd) |
Modifier and Type | Method and Description |
---|---|
static void |
ExpandUsingTracker.expanUsingTracker(java.util.List<ReductionTracker> redTrack,
InteractivePetriNet ipn) |
Modifier and Type | Method and Description |
---|---|
ReductionTracker |
InteractiveMatrixNet.getCurrentRedTracker() |
ReductionTracker |
InteractivePetriNet.getCurrentRedTracker() |
ReductionTracker |
InteractiveMatrixNet.getNextRedTracker() |
ReductionTracker |
InteractivePetriNet.getNextRedTracker() |
Modifier and Type | Method and Description |
---|---|
void |
InteractiveMatrixNet.setCurrentRedTracker(ReductionTracker redTrack) |
void |
InteractivePetriNet.setCurrentRedTracker(ReductionTracker r) |
void |
InteractiveMatrixNet.setNextRedTracker(ReductionTracker redTrack) |
void |
InteractivePetriNet.setNextRedTracker(ReductionTracker r) |
void |
InteractivePetriNet.updateInteractiveMatNet(ReductionTracker rd) |
Modifier and Type | Method and Description |
---|---|
java.util.List<ReductionTracker> |
Reduction.getReductionTracker() |
Modifier and Type | Method and Description |
---|---|
void |
Reduction.setReductionTracker(java.util.List<ReductionTracker> reductionTracker) |