toggle menu
bdd
0.32.0
common
switch theme
search in API
bdd
/
it.unibo.tuprolog.bdd
/
countVariableNodes
count
Variable
Nodes
fun
<
T
:
Comparable
<
T
>
>
BinaryDecisionDiagram
<
T
>
.
countVariableNodes
(
)
:
Int
Returns the number of variable nodes contained in a
BinaryDecisionDiagram
.