Package org.sosy_lab.common.collect

Class OrderStatisticSetTestSuite

  • public abstract class OrderStatisticSetTestSuite
extends Object

    • Method Detail

      • 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()