public interface GraphListModelContentsListener
extends GraphListModelListener
GraphListModel
void
graphInvariantComputed(int position, Invariant invariant)
public void graphInvariantComputed(int position, Invariant invariant)