Class ArrayStrategyType


  • public final class ArrayStrategyType
    extends java.lang.Object
    • Field Detail

      • LARGE_ARRAY_OVERLAP_CONTEXT

        public static final ArrayStrategyType LARGE_ARRAY_OVERLAP_CONTEXT
      • LARGE_ARRAY_HEURISTICS

        public static final ArrayStrategyType LARGE_ARRAY_HEURISTICS
      • LARGE_ARRAY_MAX_CONTEXT

        public static final ArrayStrategyType LARGE_ARRAY_MAX_CONTEXT
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object