public final class MinimumVertexAutomatonInformationPanelBuilder extends AutomatonInformationPanelBuilder
InformationPanel
for displaying information about minimum vertex
graph automata.AutomatonInformationPanelBuilder
,
MinimumVertexAutomaton
Modifier and Type | Method and Description |
---|---|
static InformationPanel<MinimumVertexAutomaton> |
createPanel()
Creates an information panel displaying properties of a given minimum vertex automaton.
|
public static InformationPanel<MinimumVertexAutomaton> createPanel()