bdd/it.unibo.tuprolog.bdd/countVariableNodes

countVariableNodes

fun <T : Comparable<T>> BinaryDecisionDiagram<T>.countVariableNodes(): Int
Content copied to clipboard

Returns the number of variable nodes contained in a BinaryDecisionDiagram.