Commit d0de6146 authored by Matthias Rungger's avatar Matthias Rungger
Browse files

Bugfix in the SymbolicSet::writeToFile function.

parent e95ccc88
......@@ -632,10 +632,15 @@ public:
throw "Error: Unable to write set information to file.";
}
/* before we save the BDD to file, we save it to another manager,
* because the current manager is classified as ADD manager */
Cudd mdest;
BDD tosave = symbolicSet_.Transfer(mdest);
int storeReturnValue = Dddmp_cuddBddStore(
ddmgr_->getManager(),
mdest.getManager(),
NULL,
symbolicSet_.getNode(),
tosave.getNode(),
//(char**)varnameschar, // char ** varnames, IN: array of variable names (or NULL)
NULL, // char ** varnames, IN: array of variable names (or NULL)
NULL,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment