GETBDDVARNODE(3) - Linux manual page online | Library functions Gives the bdd node of a variable. Chapters NAMESYNOPSYSPARAMETERSDESCRIPTIONRETURN VALUEERRORSEXAMPLESEE ALSO October 1, 1997 Loading manual page ... Download getbddvarnode(3).txt | manual plain text file Downloading man page ... Find manuals Go top