ide-plp-swing/it.unibo.tuprolog.ui.swing.plp/BddSwingFeatureRenderer

BddSwingFeatureRenderer

class BddSwingFeatureRenderer(graphRenderer: SwingBddGraphRenderer = DotTextSwingBddGraphRenderer) : SwingFeatureRenderer

The "BDD" lower-tab: shows the current solution's binary decision diagram (if any) and a "Copy DOT" action.

Constructors

BddSwingFeatureRenderer

constructor(graphRenderer: SwingBddGraphRenderer = DotTextSwingBddGraphRenderer)

Properties

open override val displayName: String

open override val featureId: FeatureId

requiredCapabilities

open override val requiredCapabilities: Set<String>

Functions

createComponent

open override fun createComponent(context: SwingFeatureContext): JComponent

open override fun render(component: JComponent, page: PageState, state: PageFeatureState)