Package | Description |
---|---|
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 |
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. |