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