Exemplos de LeftSuccessor.ToString em C# (CSharp)

Exemplo n.º 1

Arquivo: Quantifier.cs Projeto: sjokkateer/LPP

        public override string ToString()
        {
            if (LeftSuccessor == null)
            {
                throw new NullReferenceException("A predicate is required to be set");
            }

            string result = $"{Data}{GetBoundVariable()}.";

            result += "(";
            result += LeftSuccessor.ToString();
            result += ")";

            return(result);
        }