Ejemplos de QuantifiedExpression.ToString en C# (CSharp)

Ejemplo n.º 1

Archivo: SubexpressionCounter.cs Proyecto: uriJuhasz/Boogie_verifier

        public override Expression visit(QuantifiedExpression e)
        {
            context.Push(e.ToString());
            base.visit(e);
            context.Pop();

//            addSubexpression(result,context.Peek());
            return(e);
        }