Comparing 2 variables in CUDD

From: Paan Waala (paanwaala_at_gmail.com)
Date: Fri Mar 20 2009 - 02:48:40 MDT

• Next message: abujarad_at_egr.msu.edu: "Glu-2.1/Mdd and Threads"
• Previous message: zhurui: "look for a tool"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

How do you I compare 2 variables if they are logically equivalent.

I have built both of them to represent the respective boolean functions.

thanks,
P

• Next message: abujarad_at_egr.msu.edu: "Glu-2.1/Mdd and Threads"
• Previous message: zhurui: "look for a tool"
• 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 : Fri Mar 20 2009 - 02:50:49 MDT