Package | Description |
---|---|
org.deidentifier.arx.gui.model | |
org.deidentifier.arx.gui.view.impl.explore |
Modifier and Type | Method and Description |
---|---|
ModelNodeFilter |
ModelNodeFilter.clone()
Clones the ModelNodeFilter instance.
|
ModelNodeFilter |
Model.getNodeFilter()
Returns the current filter.
|
Modifier and Type | Method and Description |
---|---|
void |
Model.setNodeFilter(ModelNodeFilter filter)
Sets a filter.
|
Modifier and Type | Method and Description |
---|---|
protected abstract void |
ViewSolutionSpace.eventFilterChanged(ARXResult result,
ModelNodeFilter filter)
Event: filter changed
|
protected void |
ViewList.eventFilterChanged(ARXResult result,
ModelNodeFilter filter) |
protected void |
ViewTiles.eventFilterChanged(ARXResult result,
ModelNodeFilter filter) |
protected void |
ViewLattice.eventFilterChanged(ARXResult result,
ModelNodeFilter filter) |