public class PGraphFilterTraceId extends PGraphFilterAbstract<RepEGraph>
controller
Constructor and Description |
---|
PGraphFilterTraceId(PGraphController controller,
java.util.Set<java.lang.Integer> availableIds) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.lang.Integer> |
getSelectedTraceIds() |
javax.swing.JComponent |
getVisualPanel() |
void |
initialize() |
boolean |
isSatisfied(RepEGraph graph) |
void |
setSelectedTraceIds(java.util.Set<java.lang.Integer> selectedTraceIds) |
public PGraphFilterTraceId(PGraphController controller, java.util.Set<java.lang.Integer> availableIds)
public boolean isSatisfied(RepEGraph graph)
public javax.swing.JComponent getVisualPanel()
public java.util.Set<java.lang.Integer> getSelectedTraceIds()
public void setSelectedTraceIds(java.util.Set<java.lang.Integer> selectedTraceIds)
public void initialize()