BDD Restriction

From: majid nabi (nabi_majid_at_yahoo.com)
Date: Sat Aug 19 2006 - 05:20:23 MDT

• Next message: majid nabi: "Model Checking"
• Previous message: lara d'amore: "Segmentation fault"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Dear All,
  I want to Restrict a BDD function with a variable in respect of special value( 0 or 1).Is there any one hwo knows if there is any functions for this action in Cudd package or is there ane one hwo has this function.
   
  Best Regards,
   
  Majid Nabi

                         
---------------------------------
Do you Yahoo!?
 Everyone is raving about the all-new Yahoo! Mail Beta.

• Next message: majid nabi: "Model Checking"
• Previous message: lara d'amore: "Segmentation fault"
• 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 : Sat Aug 19 2006 - 05:22:55 MDT