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()