public virtual void Close() { allRowVars.Deref(); allColVars.Deref(); CUDD.Deref(allRowVarRanges, trans, start, trans01, reach); CUDD.Deref(varIdentities, varEncodings, stateRewards, transRewards); CUDD.CloseDownCUDD(); }
/// <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(); }