documentation
Toggle table of contents
3.0.5
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
documentation
ide-plp-swing
/
it.unibo.tuprolog.ui.swing.plp
/
DotTextSwingBddGraphRenderer
/
createGraphComponent
create
Graph
Component
open
override
fun
createGraphComponent
(
dot
:
String
,
title
:
String
?
)
:
JComponent
Builds a component displaying
dot
(a BDD's Graphviz DOT source), optionally labelled with
title
.