The restrict() operation returns a new BDD that has the variable(s)
assigned. You can just use the old BDD to get the unrestricted BDD.
b =3D a.restrict(...);
System.out.println("This is the restricted BDD: "+b.toString());
System.out.println("This is the unrestricted BDD: "+a.toString());
On 4/2/06, Islam Elkabani <ielkaban@...> wrote:
> I am a new buddy user and I want to use buddy's ROBDDs in some research
> project. In this project I need to use the restrict function to assign a
> value to an ordered variable in the BDD and also I need something to
> un-restrict or in other words to backtrack from restricting the variable
> (returning the BDD to its state before restricting some variable in it). =
> that possible in Buddy? if not, do you beleive that I could implement thi=
> feature in Buddy and how?
> I would really appreciate your help.
> Islam Elkabani.