when using Cudd_foreachCube to get a cube, what the order do the vars in cube follow, index or current level?

From: Li, Lun (lli_at_mail.smu.edu)
Date: Tue Sep 07 2004 - 08:21:43 MDT

• Next message: Tobe Toben: "vis segfault, Cudd_bddPickOneMinterm"
• Previous message: Fabio Somenzi: "Re: valid input generation in seq_verify"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

 

        Thanks a lot first.
         
        when using Cudd_foreachCube to get a cube, what the order do the variables in cube follow, index from low to high when the variable construscted or current level(position) that the variable stay in tree?
         
        Best regards,
         
        Leon Li

• application/ms-tnef attachment: winmail.dat

• Next message: Tobe Toben: "vis segfault, Cudd_bddPickOneMinterm"
• Previous message: Fabio Somenzi: "Re: valid input generation in seq_verify"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Tue Sep 07 2004 - 08:32:29 MDT