Class OrderStatisticSetTestSuite

java.lang.Object
org.sosy_lab.common.collect.OrderStatisticSetTestSuite

public abstract class OrderStatisticSetTestSuite extends Object
  • Method Details

    • testEquals

      public void testEquals()
    • testSerialize

      public void testSerialize()
    • testSubsetView_mutation

      public void testSubsetView_mutation()
    • testSubsetView_outOfBounds_add

      public void testSubsetView_outOfBounds_add()
    • testSubsetView_outOfBounds_remove

      public void testSubsetView_outOfBounds_remove()
    • testSubsetView_outOfBounds_contains

      public void testSubsetView_outOfBounds_contains()
    • testSubsetView_descending

      public void testSubsetView_descending()
    • testSubsetView_subsetOfSubset

      public void testSubsetView_subsetOfSubset()
    • testGetByRank_valid

      public void testGetByRank_valid()
    • testGetByRank_outOfBounds

      public void testGetByRank_outOfBounds()
    • testGetByRank_subsetFirst

      public void testGetByRank_subsetFirst()
    • testGetByRank_subsetLast

      public void testGetByRank_subsetLast()
    • testGetByRank_descendingSetFirstElement

      public void testGetByRank_descendingSetFirstElement()
    • testGetByRank_descendingSetSecondElement

      public void testGetByRank_descendingSetSecondElement()
    • testGetByRank_descendingSetLastElement

      public void testGetByRank_descendingSetLastElement()
    • testRemoveByRank_valid

      public void testRemoveByRank_valid()
    • testRemoveByRank_invalid

      public void testRemoveByRank_invalid()
    • testRemoveByRank_subsetFirst

      public void testRemoveByRank_subsetFirst()
    • testRemoveByRank_subsetLast

      public void testRemoveByRank_subsetLast()
    • testRemoveByRank_descendingSetFirstElement

      public void testRemoveByRank_descendingSetFirstElement()
    • testRemoveByRank_descendingSetLastElement

      public void testRemoveByRank_descendingSetLastElement()
    • testRankOf_firstElement

      public void testRankOf_firstElement()
    • testRankOf_secondElement

      public void testRankOf_secondElement()
    • testRankOf_lastElement

      public void testRankOf_lastElement()
    • testRankOf_descendingSetFirstElement

      public void testRankOf_descendingSetFirstElement()
    • testRankOf_descendingSetSecondElement

      public void testRankOf_descendingSetSecondElement()
    • testRankOf_descendingSetLastElement

      public void testRankOf_descendingSetLastElement()
    • testRankOf_subSetFirstElement

      public void testRankOf_subSetFirstElement()
    • testRankOf_subSetLastElement

      public void testRankOf_subSetLastElement()
    • testRankOf_subSetSecondElement

      public void testRankOf_subSetSecondElement()