Ejemplo n.º 1
0
        public static Name GenerateUniqueGhostVariable()
        {
            Name ghost = new VariableSymbol("_");

            ghost = ghost.ReplaceUnboundVariables(_variableIdCounter.ToString());
            _variableIdCounter++;
            return(ghost);
        }