Ejemplos de VariableList.GetVarIndex en C# (CSharp)

Ejemplo n.º 1

Archivo: ExpressionToBDD.cs Proyecto: vu111293/pat-design

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

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

            return(varDD);
        }