Class MinimizationOperations.Partition

  • Enclosing class:
    MinimizationOperations

    static class MinimizationOperations.Partition
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      Partition​(int size)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      (package private) void mark​(int e)  
      (package private) void split()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • markedElementCount

        int[] markedElementCount
      • touchedSets

        int[] touchedSets
      • touchedSetCount

        int touchedSetCount
      • setCount

        int setCount
      • elements

        java.lang.Integer[] elements
      • locations

        int[] locations
      • setNo

        int[] setNo
      • first

        int[] first
      • past

        int[] past
    • Constructor Detail

      • Partition

        Partition​(int size)
    • Method Detail

      • mark

        void mark​(int e)
      • split

        void split()