Class Partition.IntegerPartition

    • Constructor Detail

      • IntegerPartition

        public IntegerPartition​(int id)
        Creates a new IntegerPartition instance.
        Parameters:
        id - Numerical identifier of the partition.
    • Method Detail

      • getId

        public int getId()
        Numerical identifier of the partition.
        Specified by:
        getId in interface Partition
        Returns:
        if od the partition
      • equals

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

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

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