countVariableNodes

Returns the number of variable nodes contained in a BinaryDecisionDiagram.