Interface ListProofNode

    • Method Detail

      • accept

        void accept​(ListProofVisitor visitor)
        Applies the visitor to this proof node.

        Most implementations simply call visitor.visit(this);

        Parameters:
        visitor - a visitor to apply to this node