bdd
/
it.unibo.tuprolog.bdd
/
BinaryDecisionDiagramVisitor
/
visit
visit
abstract fun
visit
(node:
BinaryDecisionDiagram.Terminal
<
T
>):
E
Content copied to clipboard
abstract fun
visit
(node:
BinaryDecisionDiagram.Variable
<
T
>):
E
Content copied to clipboard