toggle menu
bdd
0.32.0
common
switch theme
search in API
bdd
/
it.unibo.tuprolog.bdd
/
BinaryDecisionDiagramVisitor
/
visit
visit
abstract
fun
visit
(
node
:
BinaryDecisionDiagram.Terminal
<
T
>
)
:
E
abstract
fun
visit
(
node
:
BinaryDecisionDiagram.Variable
<
T
>
)
:
E