Class AbstractBitwiseHierarchyImpl.HierCodeComparator

  • All Implemented Interfaces:
    java.io.Externalizable, java.io.Serializable, java.util.Comparator<java.util.BitSet>
    Enclosing class:
    AbstractBitwiseHierarchyImpl<H,​J extends LatticeElement<H>>

    protected static class AbstractBitwiseHierarchyImpl.HierCodeComparator
    extends java.lang.Object
    implements java.util.Comparator<java.util.BitSet>, java.io.Externalizable
    See Also:
    Serialized Form
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int compare​(java.util.BitSet bitMask, java.util.BitSet yset)  
      void readExternal​(java.io.ObjectInput objectInput)  
      void writeExternal​(java.io.ObjectOutput objectOutput)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.util.Comparator

        equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong
    • Constructor Detail

      • HierCodeComparator

        public HierCodeComparator()
    • Method Detail

      • compare

        public int compare​(java.util.BitSet bitMask,
                           java.util.BitSet yset)
        Specified by:
        compare in interface java.util.Comparator<java.util.BitSet>
      • writeExternal

        public void writeExternal​(java.io.ObjectOutput objectOutput)
                           throws java.io.IOException
        Specified by:
        writeExternal in interface java.io.Externalizable
        Throws:
        java.io.IOException
      • readExternal

        public void readExternal​(java.io.ObjectInput objectInput)
                          throws java.io.IOException,
                                 java.lang.ClassNotFoundException
        Specified by:
        readExternal in interface java.io.Externalizable
        Throws:
        java.io.IOException
        java.lang.ClassNotFoundException