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