Overview
Package
Tree
Index
Deprecated
About
Prev Class
|
Next Class
Frames
|
No Frames
Summary: Nested | Field | Method | Constr
Detail: Nested | Field | Method | Constr
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.
Overview
Package
Tree
Index
Deprecated
About