Builds a bdd variable set from an integer array. Reads a set of variable numbers from the integer array varset which must hold exactly varnum integers and then builds a BDD representing the variable set. The BDD variable set is represented as the conjunction of all the variables in their positive form and may just as well be made that way by the user. The user should keep a reference to the returned BDD instead of building it every time the set is needed.
|
1.5.1