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