countVariableNodes

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

Returns the number of variable nodes contained in a BinaryDecisionDiagram.