Expose additional CUDD BDD methods to R#6

MEO265 wants to merge 8 commits intocodex/create-r-s4-class-for-c++-cuddMEO265/Rcudd:codex/create-r-s4-class-for-c++-cuddfrom

codex/create-example-script-for-bdd-reductionMEO265/Rcudd:codex/create-example-script-for-bdd-reductionCopy head branch name to clipboard