bdd_nithvar

BDD bdd_nithvar ( int  var  )  Returns a bdd representing the negation of the i'th variable. This function is used to get a bdd representing the negation of the i'th variable (one node with the children false and true). The requested variable must be in the range defined by bdd_setvarnum starting with 0 being the first. For ease of use then the bdd returned from bdd_nithvar does not have to be referenced counted with a call to bdd_addref. Returns: The negated i'th variable on success, otherwise the constant false bdd. See also: bdd_setvarnum, bdd_ithvar, bddtrue, bddfalse

---