From: Cedric Roux (Cedric.Roux_at_lip6.fr)
Date: Mon Oct 18 2004 - 03:44:12 MDT
Hi Lun,
I am not a VIS creator, but I hack in it a lot for my PhD stuff.
For a finite state machine, you have that
a MDD is just a list of BDD. For each value a variable can take,
you will have an associated BDD representing states for which the
variable takes this value.
What do you mean by transforming a MDD into a BDD ?
Having 2 variables and their MDDs, you can
create the BDD representing the relation "x = y" for instance,
and various others.
It probably doesn't answer your question :)
The real question is (I think):
Having a variable that has values 0, 1, 2, ..., n, what do you
want to do with it ?
My 0.2 euros.
Cedric.
On Sun, 17 Oct 2004, Li, Lun wrote:
> Thanks first,
>
> Both MDD and BDD are used in VIS. Is there a function that can transfer a MDD to corresponding BDD in VIS package, or vice versa?
>
> Best regards,
>
> Lun
This archive was generated by hypermail 2.1.7 : Mon Oct 18 2004 - 03:53:46 MDT