public interface PopulationListener
PopulationService
events.Modifier and Type | Method and Description |
---|---|
void |
populationChanged(SchemaSpaceID ssid)
Called when the population for a schema space has changed.
|
void populationChanged(SchemaSpaceID ssid)
ssid
- the schema spaceBuild 2013-10-07_11-27-38
Revision 99b27713a799a59a21b0b166eaaea8aaefbf125a