prolog::bdd_size/2

bdd_size(+ BDDHandle, - Size)*

Unify Size with the number of nodes in BDDHandle.

Private-func:

1. prolog::bdd_size_2::bdd_size/2(int ARG1, int ARG2)():