Package | Description |
---|---|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
de.uni_due.inf.ti.raven.gui.automaton |
Classes which provide (visual) forms either used to collect information required to create the
several graph automata or used to present information about existing graph automata.
|
Modifier and Type | Method and Description |
---|---|
static InformationPanel<Cospan> |
CospanInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given cospan decomposition.
|
static InformationPanel<PathDecomposition> |
PathDecompositionInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given path decomposition.
|
static InformationPanel<RavenBDD> |
BDDInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given Raven BDD.
|
static InformationPanel<Graph> |
GraphInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given graph.
|
static InformationPanel<TreeDecomposition> |
TreeDecompositionInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given tree decomposition.
|
static InformationPanel<Signature> |
SignatureInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given signature.
|
static InformationPanel<CospanDecomposition> |
CospanDecompositionInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given cospan decomposition.
|
Modifier and Type | Class and Description |
---|---|
class |
AutomatonInformationPanel<T extends Automaton>
This class provides graphical components to display the properties of graph automata objects.
|
Modifier and Type | Method and Description |
---|---|
static InformationPanel<DominatingSetAutomaton> |
DominatingSetAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given dominating set automaton.
|
static InformationPanel<NoIsolatedNodesAutomaton> |
NoIsolatedNodesAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given no-isolated-nodes automaton.
|
static InformationPanel<MinimumVertexAutomaton> |
MinimumVertexAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given minimum vertex automaton.
|
static InformationPanel<VertexCoverAutomaton> |
VertexCoverAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given vertex cover automaton.
|
static InformationPanel<LinkAutomaton> |
LinkAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given link automaton.
|
static InformationPanel<ProductAutomaton> |
ProductAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given product automaton.
|
static InformationPanel<EdgeCountingAutomaton> |
EdgeCountingAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given edge counting automaton.
|
static InformationPanel<PathAutomaton> |
PathAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given edge counting automaton.
|
static InformationPanel<MaximumEdgeAutomaton> |
MaximumEdgeAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given maximum edge automaton.
|
static InformationPanel<MaximumVertexAutomaton> |
MaximumVertexAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given maximum vertex automaton.
|
static InformationPanel<SubgraphAutomaton> |
SubgraphAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given subgraph automaton.
|
static InformationPanel<VertexCountingAutomaton> |
VertexCountingAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given vertex-counting automaton.
|
static InformationPanel<ColorabilityAutomaton> |
ColorabilityAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given colorability automaton.
|
static InformationPanel<MinimumEdgeAutomaton> |
MinimumEdgeAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given minimum edge automaton.
|
static InformationPanel<UnionAutomaton> |
UnionAutomatonInformationPanelBuilder.createPanel()
Creates an information panel displaying properties of a given union automaton.
|