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

DotTextSwingBddGraphRenderer

object DotTextSwingBddGraphRenderer : SwingBddGraphRenderer

Dependency-free fallback renderer: shows a BDD's raw DOT source as read-only monospaced text.

Functions

Link copied to clipboard
open override fun createGraphComponent(dot: String, title: String?): JComponent

Builds a component displaying dot (a BDD's Graphviz DOT source), optionally labelled with title.

Generated by Dokka
© 2026 Copyright