corrected a small bug with export
This commit is contained in:
parent
1342d2dab2
commit
284fc9ab8b
|
@ -7,8 +7,8 @@
|
||||||
* *
|
* *
|
||||||
* Author: Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann *
|
* Author: Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann *
|
||||||
* File: problogbdd.c *
|
* File: problogbdd.c *
|
||||||
* $Date:: 2010-10-06 13:22:55 +0200 (Wed, 06 Oct 2010) $ *
|
* $Date:: 2010-10-06 18:06:08 +0200 (Wed, 06 Oct 2010) $ *
|
||||||
* $Revision:: 4881 $ *
|
* $Revision:: 4883 $ *
|
||||||
* *
|
* *
|
||||||
********************************************************************************
|
********************************************************************************
|
||||||
* *
|
* *
|
||||||
|
@ -347,6 +347,7 @@ int main(int argc, char **arg) {
|
||||||
MyManager.f = LOW(MyManager.manager);
|
MyManager.f = LOW(MyManager.manager);
|
||||||
MyManager.varmap = InitNamedVars(1, 0);
|
MyManager.varmap = InitNamedVars(1, 0);
|
||||||
bdd = OnlineGenerateBDD(MyManager.manager, &MyManager.varmap);
|
bdd = OnlineGenerateBDD(MyManager.manager, &MyManager.varmap);
|
||||||
|
bakbdd = bdd;
|
||||||
ivarcnt = GetVarCount(MyManager.manager);
|
ivarcnt = GetVarCount(MyManager.manager);
|
||||||
} else if(params.independent_forest>0){
|
} else if(params.independent_forest>0){
|
||||||
// the flag to create a forest of independent bdds is set
|
// the flag to create a forest of independent bdds is set
|
||||||
|
|
Reference in New Issue