toggle menu
bdd
0.32.0
common
switch theme
search in API
bdd
/
it.unibo.tuprolog.bdd
/
BinaryDecisionDiagram
/
Variable
/
high
high
abstract
val
high
:
BinaryDecisionDiagram
<
T
>
high
the a
BinaryDecisionDiagram
that leads to a 1-terminal (a true terminal)