for external use

Number of satisfying assignments with given set of variables.
The set of variables must be given since the current OBDD may not contain
all variables that were used to construct it, since some nodes may have been removed
because they had identical children.