Class PointsToSetInternal.P2SetVisitorDefaultTrue

  • Enclosing class:
    PointsToSetInternal

    public abstract static class PointsToSetInternal.P2SetVisitorDefaultTrue
    extends P2SetVisitor
    A P2SetVisitor with a default return value of true.
    Author:
    Eric Bodden
    • Constructor Detail

      • P2SetVisitorDefaultTrue

        public P2SetVisitorDefaultTrue()