Returns a bdd representing the i'th variable. This function is used to get a bdd representing the i'th variable (one node with the children true and false). The requested variable must be in the range define by bdd_setvarnum starting with 0 being the first. For ease of use then the bdd returned from bdd_ithvar does not have to be referenced counted with a call to bdd_addref. The initial variable order is defined by the index var that also defines the position in the variable order -- variables with lower indices are before those with higher indices.
|
1.5.1