@Deprecated
public class ReplayResultVisController
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static interface |
ReplayResultVisController.AlignmentFilter
Deprecated.
|
Constructor and Description |
---|
ReplayResultVisController(ProMPropertiesPanelWithComp alignmentPanel,
java.util.Iterator<Alignment> alignmentIter,
int limit)
Deprecated.
|
ReplayResultVisController(ProMPropertiesPanelWithComp alignmentPanel,
java.util.Iterator<Alignment> alignmentIter,
int limit,
ReplayResultVisController.AlignmentFilter filter)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
int |
getLimit()
Deprecated.
|
boolean |
hasMore()
Deprecated.
|
int |
showNextAlignments()
Deprecated.
|
public ReplayResultVisController(ProMPropertiesPanelWithComp alignmentPanel, java.util.Iterator<Alignment> alignmentIter, int limit, ReplayResultVisController.AlignmentFilter filter)
public ReplayResultVisController(ProMPropertiesPanelWithComp alignmentPanel, java.util.Iterator<Alignment> alignmentIter, int limit)