From 284fc9ab8bfad3ad6e1d577ec385bb20371e4050 Mon Sep 17 00:00:00 2001 From: Theofrastos Mantadelis Date: Wed, 6 Oct 2010 18:27:40 +0200 Subject: [PATCH] corrected a small bug with export --- packages/ProbLog/simplecudd/problogbdd.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/packages/ProbLog/simplecudd/problogbdd.c b/packages/ProbLog/simplecudd/problogbdd.c index 12a435d4b..c556ded4a 100644 --- a/packages/ProbLog/simplecudd/problogbdd.c +++ b/packages/ProbLog/simplecudd/problogbdd.c @@ -7,8 +7,8 @@ * * * Author: Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann * * File: problogbdd.c * -* $Date:: 2010-10-06 13:22:55 +0200 (Wed, 06 Oct 2010) $ * -* $Revision:: 4881 $ * +* $Date:: 2010-10-06 18:06:08 +0200 (Wed, 06 Oct 2010) $ * +* $Revision:: 4883 $ * * * ******************************************************************************** * * @@ -347,6 +347,7 @@ int main(int argc, char **arg) { MyManager.f = LOW(MyManager.manager); MyManager.varmap = InitNamedVars(1, 0); bdd = OnlineGenerateBDD(MyManager.manager, &MyManager.varmap); + bakbdd = bdd; ivarcnt = GetVarCount(MyManager.manager); } else if(params.independent_forest>0){ // the flag to create a forest of independent bdds is set