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();
}