org.grinvin.worksheet

Interface WorksheetModelListener

All Superinterfaces:
ListDataListener, ListSelectionListener, GraphListModelListener, InvariantListModelListener
Known Implementing Classes:
RunConjecturing, WorksheetWindow

public interface WorksheetModelListener
extends ListSelectionListener, InvariantListModelListener, GraphListModelListener

Method Summary

void
engineChanged()
void
engineConfigurationChanged()
void
filterChanged()
void
worksheetModelNameChanged()

Method Details

engineChanged

public void engineChanged()

engineConfigurationChanged

public void engineConfigurationChanged()

filterChanged

public void filterChanged()

worksheetModelNameChanged

public void worksheetModelNameChanged()