Exemple #1
0
        /// <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);
        }