[Javabdd-devel] BDD reordering

[shay a. <at...@gm...>]

hello everybody!

i am a student in the computer engineering department , and i am working
lately on my final project about BDDs and MTBDDs.
my first assignment was to build a BDD from a boolean function input such as
"x1+x3" , so i downloaded all of the packages exist
today(CUDD,BuDDY,JDD,JavaBDD etc.) and finally i figured out how to create a
BDD diagram using the JDD package.
The thing is that the ordinary BDD in this package doesn't use reordering,
and i haven't figured out how to
do it...so i tried to work with JavaBDD and in the BDDFactory class they
offer really there's a function
that can reorder the BDD automatically , great!! but in the JavaBdd package
i haven't figured out how to create a BDD.
what i m trying to say is that i have 2 options :
1. does anybody know how can i turn the BDD i created from the JDD package
to a reduced one ?
or
2. if i get as input a boolean function such as "x1+x2*x3" how do i create a
BDD using JavaBDD classes ?

if anyone knows i'll be greatful,
thanks alot in advance.