public class PGraphFilterSourceIdImpl extends PGraphFilterAbstract<RepEGraph>
controller| Constructor and Description |
|---|
PGraphFilterSourceIdImpl(PGraphController<?> controller,
java.util.Set<java.lang.Integer> sourceGraphIds) |
| Modifier and Type | Method and Description |
|---|---|
javax.swing.JComponent |
getVisualPanel() |
void |
initialize() |
boolean |
isSatisfied(RepEGraph object) |
public PGraphFilterSourceIdImpl(PGraphController<?> controller, java.util.Set<java.lang.Integer> sourceGraphIds)
public boolean isSatisfied(RepEGraph object)
public void initialize()
public javax.swing.JComponent getVisualPanel()