Class Difference

    • Field Detail

      • minuend

        public final Query minuend
        The minuend query.
      • subtrahend

        public final Query subtrahend
        The subtrahend query.
      • leftMargin

        public final int leftMargin
        A margin that will be added to the left of each interval of the subtrahend.
      • rightMargin

        public final int rightMargin
        A margin that will be added to the right of each interval of the subtrahend.
    • Constructor Detail

      • Difference

        public Difference​(Query minuend,
                          Query subtrahend)
      • Difference

        public Difference​(Query minuend,
                          Query subtrahend,
                          int leftMargin,
                          int rightMargin)