Package gnu.lists

Class PositionManager


  • public class PositionManager
    extends Object
    • Constructor Detail

      • PositionManager

        public PositionManager()
    • Method Detail

      • getPositionObject

        public static SeqPosition getPositionObject​(int ipos)
      • release

        public void release​(int ipos)