Class DiffnProfile

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<ProfileItem>, java.util.Collection<ProfileItem>, java.util.List<ProfileItem>, java.util.RandomAccess

    class DiffnProfile
    extends Profile
    Defines a basic data structure to keep the profile for the diff2/1 constraints. It consists of ordered pair of time points and the current value.
    Version:
    4.8
    • Constructor Summary

      Constructors 
      Constructor Description
      DiffnProfile()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      (package private) void make​(int i, int j, Rectangle r, int begin, int end, java.util.List<Rectangle> Rs)  
      int max()
      It returns the max height of the profile item encountered in the profile.
      • Methods inherited from class java.util.ArrayList

        add, add, addAll, addAll, clear, clone, contains, ensureCapacity, equals, forEach, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize
      • Methods inherited from class java.util.AbstractCollection

        containsAll
      • Methods inherited from class java.lang.Object

        finalize, getClass, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface java.util.Collection

        parallelStream, stream, toArray
      • Methods inherited from interface java.util.List

        containsAll
    • Constructor Detail

      • DiffnProfile

        DiffnProfile()
    • Method Detail

      • make

        void make​(int i,
                  int j,
                  Rectangle r,
                  int begin,
                  int end,
                  java.util.List<Rectangle> Rs)
      • max

        public int max()
        Description copied from class: Profile
        It returns the max height of the profile item encountered in the profile.
        Overrides:
        max in class Profile
        Returns:
        the max height.