private CUDDNode EncodeVar(Variable exp)
{
int varIndex = varList.GetVarIndex(exp.ExpressionID);
CUDD.Ref(varEncodings[varIndex]);
CUDDNode varDD = varEncodings[varIndex];
return(varDD);
}