/// <summary> /// Close down the CUDD package /// Deletes resources associated with a DD manager /// [ REFS: 'none', DEREFS: 'none' ] /// </summary> public static void CloseDownCUDD() { //Deref(ZERO, ONE, PLUS_INFINITY, MINUS_INFINITY); //Use in debug mode, to check whether any wrong in calculating reference number //CUDD.Debug.Debugs(); //Use this to print the summary information //CUDD.Print.PrintInfo(Environment.GetFolderPath(Environment.SpecialFolder.Desktop) + @"\info.txt"); PlatformInvoke.Cudd_Quit(manager); }