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 | Class and Description |
---|---|
class |
BDDInformationPanelBuilder
This class provides a builder which is used to create an
InformationPanel
for displaying information about BDDs. |
class |
CospanDecompositionInformationPanelBuilder
This class provides a builder which is used to create an
InformationPanel
for displaying information about cospan decompositions. |
class |
CospanInformationPanelBuilder
This class provides a builder which is used to create an
InformationPanel
for displaying information about cospans. |
class |
GraphInformationPanelBuilder
This class provides a builder which is used to create an
InformationPanel
for displaying information about graphs. |
class |
PathDecompositionInformationPanelBuilder
This class provides a builder which is used to create an
InformationPanel
for displaying information about path decompositions. |
class |
SignatureInformationPanelBuilder
This class provides a builder which is used to create an
InformationPanel
for displaying information about signatures. |
class |
TreeDecompositionInformationPanelBuilder
This class provides a builder which is used to create an
InformationPanel
for displaying information about tree decompositions. |
Modifier and Type | Class and Description |
---|---|
class |
AutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about graph automata. |
class |
ColorabilityAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about colorability
graph automata. |
class |
DominatingSetAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about dominating set
graph automata. |
class |
EdgeCountingAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about edge counting
graph automata. |
class |
LinkAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about link graph
automata. |
class |
MaximumEdgeAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about maximum edge
graph automata. |
class |
MaximumVertexAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about maximum vertex
graph automata. |
class |
MinimumEdgeAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about minimum edge
graph automata. |
class |
MinimumVertexAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about minimum vertex
graph automata. |
class |
NoIsolatedNodesAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about
no-isolated-nodes graph automata. |
class |
PathAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about path graph
automata. |
class |
ProductAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about product graph
automata. |
class |
SubgraphAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about subgraph graph
automata. |
class |
UnionAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about union graph
automata. |
class |
VertexCountingAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about vertex-counting
graph automata. |
class |
VertexCoverAutomatonInformationPanelBuilder
This class provides an
InformationPanel for displaying information about vertex cover
graph automata. |