Beispiel #1
0
        private CUDDNode EncodeVar(Variable exp)
        {
            int varIndex = varList.GetVarIndex(exp.ExpressionID);

            CUDD.Ref(varEncodings[varIndex]);
            CUDDNode varDD = varEncodings[varIndex];

            return(varDD);
        }