org.grinvin.list

Interface InvariantListModelListener

All Superinterfaces:
ListDataListener
Known Subinterfaces:
ConjecturingWindowListener
Known Implementing Classes:
AnnotatedInvariantListComponent, RunConjecturing

public interface InvariantListModelListener
extends ListDataListener

Interface that all listeners of InvariantListModel should implement.