From: hmf_at_inescporto.pt
Date: Mon Jul 21 2008 - 05:10:49 MDT
Hello,
I am new to CuDD and the use of BDDs in general.
I am using the BDD C++ interface to do some quick
prototyping and have a question regarding the
API.
I am not sure if this is the correct forum in which
to place these questions. Appreciate it if anyone
could direct me to a more suitable place in
case one does exists.
Question: I would like to test "A is-subset-of B" and
"A = B". For these I used conditionals and bi-conditionals
so:
subset: ((~A) \/ B) == "1"
= : XNOR( A, B) == "1"
where "==" is the C++ operator and "1" bddOne().
My question is are their more appropriate alternatives
(Cudd_bddLeq perhaps)?
On a different note: while experimenting with the C++
interface I could not use the "static"ically declared
methods. Got a compilation error.
I changed the code and made these methods non-static.
Alternatively I think one could declare the static
methods in the header file. Don't know if this is a known
problem an error on my part. Can anyone comment on this?
TIA,
Hugo F.
This archive was generated by hypermail 2.1.7 : Mon Jul 21 2008 - 05:13:30 MDT