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