public virtual void Close()
        {
            allRowVars.Deref();
            allColVars.Deref();
            CUDD.Deref(allRowVarRanges, trans, start, trans01, reach);
            CUDD.Deref(varIdentities, varEncodings, stateRewards, transRewards);

            CUDD.CloseDownCUDD();
        }
Exemple #2
0
        /// <summary>
        /// Close the model, dereference variables
        /// </summary>
        public void Close()
        {
            this.AllRowVarsExceptSingleCopy.Deref();
            this.AllColVars.Deref();

            CUDD.Deref(this.varIdentities);
            CUDD.Deref(this.variableEncoding);
            CUDD.Deref(this.variableRanges);

            CUDD.CloseDownCUDD();
        }