Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

BDD-package CUDD

11 views
Skip to first unread message

Monika

unread,
Jul 10, 2008, 5:50:50 AM7/10/08
to
Hallo,

can somebody help me? I want to call the function CountMinterm(...) of
the BDD-package CUDD in my C++ code. I wrote

DdNode * n = manager->ReadVars(0);
double satc = manager->CountMinterm(n, varAnz);
cout << "Es koennen " << satc << " viele Fahrzeuge gebaut werden." <<
endl;

But I receive the error message "Fehler: »class Cudd« hat kein Element
namens »CountMinterm«"
Where is the error in my code?


Many thanks,
Monika Gehweiler

0 new messages