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