Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#8 Fdd's do not work correctly when domain size is not a power

open
nobody
None
9
2010-05-18
2010-05-18
Anonymous
No

Environment: Winows XP or Windows 7 OS with VS 2008 and VS2010 respectively.
Problem Description: When fdd_extdomain is called with domain size no being power of 2 the operations on bdd's do not work correctly. Please find attached file as simple example.
output is as follows:
bdd = <0:0/1>
neg bdd = <0:2/3>

The expected result is:
bdd = <0:0/1>
neg bdd = <0:2>
as the domains are {0,1,2}.
In the documentation there is no information that bdd domains need to be powers of 2.

Discussion


  • Anonymous
    2010-05-18

    Simple example to repro the problem

     
    Attachments

  • Anonymous
    2010-05-18

    • priority: 5 --> 9