Class FixCounter

    • Field Detail

      • increment

        public TypedIOPort increment
        The increment port. If this input port receives a token, then the counter is incremented. The port has type general.
      • decrement

        public TypedIOPort decrement
        The decrement port. If this input port receives a token, then the counter is decremented. The port has type general.