Re: Question about Cudd_bddExistAbstract

From: Fabio Somenzi (Fabio@colorado.edu)
Date: Wed May 01 2002 - 08:35:26 MDT

Next message: --------- shojai: "download"

Previous message: Codrin Pruteanu: "Re: Question about Cudd_bddExistAbstract"
In reply to: Codrin Pruteanu: "Re: Question about Cudd_bddExistAbstract"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Codrin,

The two sums of producs are equivalent. BDDs are canonical, hence the
two sums of products have the same BDD. What you see is the result of
the function that prints a sum of product from a BDD. This function
has no way to know that you would like a redundant representation.
Notice that the leftmost variable disappears from the BDD as a result
of quantification.

Fabio

>>>>> "CP" == Codrin Pruteanu <codrin@sdf.lonestar.org> writes:

>> > lambda2
>> > --0-0-0-0-0-1-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > --0-0-0-0-1-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > --0-0-0-1-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > --0-0-1-0-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > --0-1-0-0-0-0-------------------------------------1--------------------------------------------------------------------------------------- 1
>> > --1-0-0-0-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> >
>> > =============================================================================================================================================
>> > I want to obtain for lambda2 this:
>> >
>> > lambda2
>> > 0-0-0-0-0-0-1-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 0-0-0-0-0-1-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 0-0-0-0-1-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 0-0-0-1-0-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 0-0-1-0-0-0-0-------------------------------------1--------------------------------------------------------------------------------------- 1
>> > 0-1-0-0-0-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 1-0-0-0-0-0-1-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 1-0-0-0-0-1-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 1-0-0-0-1-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 1-0-0-1-0-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> > 1-0-1-0-0-0-0-------------------------------------1--------------------------------------------------------------------------------------- 1
>> > 1-1-0-0-0-0-0-------------------------------------0--------------------------------------------------------------------------------------- 1
>> >
>> > Where do you think it might be the problem?
>> > Thank you,
>> > Codrin.

Next message: --------- shojai: "download"
Previous message: Codrin Pruteanu: "Re: Question about Cudd_bddExistAbstract"
In reply to: Codrin Pruteanu: "Re: Question about Cudd_bddExistAbstract"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Wed May 01 2002 - 08:44:30 MDT