public final class PathDecompositionInformationPanelBuilder extends InformationPanelBuilder<PathDecomposition>
Constructor and Description |
---|
PathDecompositionInformationPanelBuilder(com.jgoodies.forms.builder.DefaultFormBuilder formBuilder)
Creates the panel on which graph information will be displayed.
|
Modifier and Type | Method and Description |
---|---|
static InformationPanel<PathDecomposition> |
createPanel()
Creates an information panel displaying properties of a given path decomposition.
|
public PathDecompositionInformationPanelBuilder(com.jgoodies.forms.builder.DefaultFormBuilder formBuilder)
formBuilder
- the form builder used to build the panelpublic static InformationPanel<PathDecomposition> createPanel()