Class RankFunDef.RankedTupleList

  • Enclosing class:
    RankFunDef

    static class RankFunDef.RankedTupleList
    extends Object
    Data structure which contains a list and can return the position of an element in the list in O(log N).