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