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