hi all,
           i started using Buddy library .
where i can easily create a  bdd for   f= a | b ^ c Boolean function .

but when i want to read this boolean funciton from  a file . while assigning this Boolean function string to bdd variable it gives error : type mismatch . one is bdd and other is string.

kindly help me . Thanks in advance