Package org.grinvin.gui.components

Interface Summary

AcceptsFilter
AcceptsInvariant
MindgameButtonsComponent.MindgameButtonsComponentListener

Class Summary

AcceptsInvariant.Reason
ExpressionListComponent List of expressions.
FactoryCellListComponent Cell list component with entries of type GraphFactory.
FilteredScrollableGraphTableComponent A version of ScrollableGraphTableComponent that displays a filter as well.
FilterListComponent List component with entries of type GraphFilter.
FilterListComponent.CombineSelectedAND
FilterListComponent.CombineSelectedOR
FilterListComponent.NegateSelectedElements
FilterListComponent.SplitSelectedElements
GeneratorCellListComponent Cell list component with entries of type GraphGenerator.
GeneratorInstanceListComponent List of generator instances.
GraphCellListComponent
GraphComponent Component that combines the graph icon with its name.
GraphListComponent
GraphListMultiPanelComponent Component that holds different views for a GraphListModel.
GraphPropertiesComponent Displays a graph element and its properties in a single panel.
GraphPropertiesTableComponent Table to display a GraphPropertiesTableModel.
GraphTableComponent Table component which displays a list of graphs as rows, invariants as columns and the corresponding values in the table cells.
GraphTreeComponent
InvariantListComponent List component with entries of type Invariant.
InvariantTreeComponent Tree component with leaves of type Invariant.
MindgameButtonsComponent
MindgameComponent
NamedGraphComponent Extension of GraphComponent that shows the name of the graph above the icon.
ScrollableGraphTableComponent A version of GraphTableComponent that is scrollable.
WorksheetListComponent