toggle menu
bdd
0.32.0
common
switch theme
search in API
bdd
/
it.unibo.tuprolog.bdd
/
BinaryDecisionDiagramBuilder
/
buildTerminal
build
Terminal
abstract
fun
buildTerminal
(
truth
:
Boolean
)
:
BinaryDecisionDiagram
<
T
>
Returns an instance of
BinaryDecisionDiagram.Terminal
with the provided input.