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