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