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 |
ColorabilityAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new ColorabilityAutomaton . |
class |
DominatingSetAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new DominatingSetAutomaton . |
class |
EdgeCountingAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new EdgeCountingAutomaton . |
class |
LinkAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new LinkAutomaton . |
class |
MaximumEdgeAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new MaximumEdgeAutomaton . |
class |
MaximumVertexAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new MaximumVertexAutomaton . |
class |
MinimumEdgeAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new MinimumEdgeAutomaton . |
class |
MinimumVertexAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new MinimumVertexAutomaton . |
class |
NoIsolatedNodesAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new NoIsolatedNodesAutomaton . |
class |
PathAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new PathAutomaton . |
class |
ProductAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new ProductAutomaton . |
class |
SubgraphAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new SubgraphAutomaton . |
class |
UnionAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new UnionAutomaton . |
class |
VertexCountingAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new VertexCountingAutomaton . |
class |
VertexCoverAutomatonCreationPanel
This class provides an
AutomatonCreationPanel for creating a new VertexCoverAutomaton . |