Package gnu.lists

Class PositionManager

java.lang.Object
gnu.lists.PositionManager

public class PositionManager extends Object
  • Constructor Details

    • PositionManager

      public PositionManager()
  • Method Details

    • getPositionObject

      public static SeqPosition getPositionObject(int ipos)
    • register

      public int register(SeqPosition pos)
    • release

      public void release(int ipos)