bdd
/
it.unibo.tuprolog.bdd
/
BinaryDecisionDiagramBuilder
/
buildTerminal
build
Terminal
abstract fun
buildTerminal
(truth:
Boolean
):
BinaryDecisionDiagram
<
T
>
Content copied to clipboard
Returns an instance of
BinaryDecisionDiagram.Terminal
with the provided input.