Class SvaRepetition


  • public final class SvaRepetition
    extends SvaRange
    SvaRepetition represents the SVA repetition operation.
    • Constructor Detail

      • SvaRepetition

        public SvaRepetition()
        Creates a new repetition.
      • SvaRepetition

        public SvaRepetition​(SvaRange other)
        Constructs a new repetition using the range.
        Parameters:
        other - - the specified SvaRange.