bdd
0.30.1
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.