org.grinvin.graphbrowser

Interface HasInvariantList

Known Implementing Classes:
AnnotatedInvariantListComponent, ConjecturingWindow, GraphBrowserWindow, InvariantListComponent

public interface HasInvariantList

Common interface of all components (windows, panels, ...) that export an invariant list.

Method Summary

InvariantList
getInvariantList()
Return the invariant list which is used by this component.

Method Details

getInvariantList

public InvariantList getInvariantList()
Return the invariant list which is used by this component.