#1 Examples of JavaBDD implementation

[Airton Pereira]

Mr. Whaley and team,

My name is Airton Pereira, I'm a student from the Federal University of Pernambuco (Brazil), I'm currently doing a master in computer science with emphasis on code analysis using the dynamic slicing technique with BDD data structure. I saw the JavaBDD's javadoc but when I downloaded the last version I did'nt see the BDDVarSet class.
I need something like that to replace the sample Set class of colletion's API.
Other question is related of examples, would you give me some implementation of "multi-rooted tree" or anything reference (I did'nt find on your site).