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