Class MoreZeroFrame

    • Field Detail

      • additionalVariablesCount

        public int additionalVariablesCount
    • Constructor Detail

      • MoreZeroFrame

        public MoreZeroFrame()
        Creates an uninitialized MoreZeroFrame.
      • MoreZeroFrame

        public MoreZeroFrame​(int tag)
        Creates a MoreZeroFrame with the given tag.
      • MoreZeroFrame

        public MoreZeroFrame​(VerificationType[] additionalVariables)
        Creates a MoreZeroFrame with the given additional variables.
      • MoreZeroFrame

        public MoreZeroFrame​(int additionalVariablesCount,
                             VerificationType[] additionalVariables)
        Creates a MoreZeroFrame with the given additional variables.