See: Description
Class | Description |
---|---|
AutomatonCreationDialog |
This class provides a dialog to create a new graph automaton.
|
AutomatonCreationPanel |
The
AutomatonCreationPanel is the abstract base class for the different creation panel. |
AutomatonInformationPanel<T extends Automaton> |
This class provides graphical components to display the properties of graph automata objects.
|
AutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about graph automata. |
AutomatonRunView |
This class provides a panel which is intended to display the run of an
Automaton on a CospanDecomposition . |
ColorabilityAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new ColorabilityAutomaton . |
ColorabilityAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about colorability
graph automata. |
DominatingSetAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new DominatingSetAutomaton . |
DominatingSetAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about dominating set
graph automata. |
EdgeCountingAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new EdgeCountingAutomaton . |
EdgeCountingAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about edge counting
graph automata. |
LinkAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new LinkAutomaton . |
LinkAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about link graph
automata. |
MaximumEdgeAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new MaximumEdgeAutomaton . |
MaximumEdgeAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about maximum edge
graph automata. |
MaximumVertexAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new MaximumVertexAutomaton . |
MaximumVertexAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about maximum vertex
graph automata. |
MinimumEdgeAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new MinimumEdgeAutomaton . |
MinimumEdgeAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about minimum edge
graph automata. |
MinimumVertexAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new MinimumVertexAutomaton . |
MinimumVertexAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about minimum vertex
graph automata. |
NoIsolatedNodesAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new NoIsolatedNodesAutomaton . |
NoIsolatedNodesAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about
no-isolated-nodes graph automata. |
PathAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new PathAutomaton . |
PathAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about path graph
automata. |
ProductAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new ProductAutomaton . |
ProductAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about product graph
automata. |
SubgraphAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new SubgraphAutomaton . |
SubgraphAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about subgraph graph
automata. |
UnionAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new UnionAutomaton . |
UnionAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about union graph
automata. |
VertexCountingAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new VertexCountingAutomaton . |
VertexCountingAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about vertex-counting
graph automata. |
VertexCoverAutomatonCreationPanel |
This class provides an
AutomatonCreationPanel for creating a new VertexCoverAutomaton . |
VertexCoverAutomatonInformationPanelBuilder |
This class provides an
InformationPanel for displaying information about vertex cover
graph automata. |