Class PointsToSetInternal.P2SetVisitorInt

  • Enclosing class:
    PointsToSetInternal

    public abstract static class PointsToSetInternal.P2SetVisitorInt
    extends P2SetVisitor
    A P2SetVisitor with an int value.
    Author:
    Eric Bodden
    • Field Detail

      • intValue

        protected int intValue
    • Constructor Detail

      • P2SetVisitorInt

        public P2SetVisitorInt​(int i)