Class BitSets.Closure

  • Enclosing class:

    private static class BitSets.Closure
    extends java.lang.Object
    Setup equivalence Sets for each position. If i and j are equivalent then they will have the same equivalence Set. The algorithm computes the closure relation at each position for the position wrt to positions greater than it. Once a closure is computed for a position, the closure Set is set on all its descendants. So the closure computation bubbles up from lower positions and the final equivalence Set is propagated down from the lowest element in the Set.
    • Field Summary

      Modifier and Type Field Description
      private java.util.SortedMap<java.lang.Integer,​java.util.BitSet> closure  
      private java.util.SortedMap<java.lang.Integer,​java.util.BitSet> equivalence  
    • Constructor Summary

      Constructor Description
      Closure​(java.util.SortedMap<java.lang.Integer,​java.util.BitSet> equivalence)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      private java.util.BitSet computeClosure​(int pos)  
      • Methods inherited from class java.lang.Object

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

      • equivalence

        private java.util.SortedMap<java.lang.Integer,​java.util.BitSet> equivalence
      • closure

        private final java.util.SortedMap<java.lang.Integer,​java.util.BitSet> closure
    • Constructor Detail

      • Closure

        Closure​(java.util.SortedMap<java.lang.Integer,​java.util.BitSet> equivalence)
    • Method Detail

      • computeClosure

        private java.util.BitSet computeClosure​(int pos)