Class TwoLevelIntVector

  • All Implemented Interfaces:
    IntVector, java.io.Serializable

    public class TwoLevelIntVector
    extends java.lang.Object
    implements IntVector, java.io.Serializable
    an int vector implementation which delegates to pages of int vectors.
    See Also:
    Serialized Form
    • Method Detail

      • get

        public int get​(int x)
        Specified by:
        get in interface IntVector
      • set

        public void set​(int x,
                        int value)
        Specified by:
        set in interface IntVector
      • performVerboseAction

        public void performVerboseAction()
      • getMaxIndex

        public int getMaxIndex()
        Specified by:
        getMaxIndex in interface IntVector
        Returns:
        max i s.t set(i) was called.